On Mon, Feb 9, 2009 at 6:49 PM, Johannes Schindelin
<Johannes.Schindelin@gmx.de> wrote:
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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html