From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 21 Sep 2015 17:20:13 GMT
Subject: Re: [BUG?] HEAD detached at HEAD
Message-ID: <xmqq8u7zbsfm.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <vpqlhc3h7e7.fsf@anie.imag.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> I investigated a bit more. The root of the problem is "git checkout
> --detach" and the reflog. Here's a reproduction script:
> ...
> If one replaces "git checkout --detach" with "git checkout HEAD^0", then
> the output is the one I expected:
>
>   HEAD detached at cb39b20
>
> The guilty line in the reflog is:
>
>   checkout: moving from master to HEAD

Yeah, that sounds broken.  --detach should write the same reflog entry
as "git checkout HEAD^0".