From: Julien Cretel <j.cretel@umail.ucc.ie>
Date: Thu, 19 Feb 2015 11:13:42 GMT
Subject: Re: Should "git log --decorate" indicate whether the HEAD is detached?
Message-ID: <CACdBeKnqZuu50knWs=aCm7295no880EN9TYY+hMnfSdVvdZ4AA@mail.gmail.com>
In-Reply-To: <xmqq8ufv408l.fsf@gitster.dls.corp.google.com>

On Wed, Feb 18, 2015 at 5:07 PM, Junio C Hamano <gitster@pobox.com> 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").