On Thu, Feb 19, 2015 at 3:13 AM, Julien Cretel <j.cretel@xxxxxxxxxxxx> wrote: > On Wed, Feb 18, 2015 at 5:07 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > >> Julien's "HEAD=master, other" vs "HEAD, master, other" may be >> subdued enough to be undistracting, I would guess. I do not think >> the distinction between "HEAD = master" and "HEAD -> master" would >> be useful, on the other hand. > > Just to clarify, I suggested these two notations as alternatives for > denoting the same state: "HEAD is attached to master". They were not > meant to denote different states. Accordingly, a detached HEAD could > be denoted by "HEAD, master, other" (i.e. the same as the current > output of "git log --decorate"). That makes it even better than my misunderstood version ;-) A list that is usually "A, B, C" that sometimes has "A, B=C" is inconspicuous enough not to be distracting too much, I would say. Thanks. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html