On Mon, Feb 9, 2009 at 6:49 PM, Johannes Schindelin
[off-list ref] wrote:
Hi,
On Mon, 9 Feb 2009, Jay Soffian wrote:
quoted
Teach git branch -{r,a} how to interpret remote HEADs and highlight the
corresponding remote branch with an asterisk, instead of showing literal
"<remote_name>/HEAD".
Let's hope that nobody's scripts rely on a single star in front of the
local HEAD...
Perhaps you'd be happier with a different marker for the remote head,
but in any case, git branch is a porcelain, isn't it?
j.