From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Mon, 29 Apr 2013 20:23:52 GMT
Subject: Re: [PATCH] Add new @ shortcut for HEAD
Message-ID: <CAMP44s0rT1097=481aSH=Gy465zb2Bd_xLv=Xvte-GHcamWLyA@mail.gmail.com>
In-Reply-To: <7v61z5hzqg.fsf@alter.siamese.dyndns.org>

On Mon, Apr 29, 2013 at 3:02 PM, Junio C Hamano <gitster@pobox.com> wrote:
> Felipe Contreras <felipe.contreras@gmail.com> writes:
>
>> So HEAD@{0}~0^0 is too much to type, but we can remove '^0', and we can
>> remove '~0', and we can remove 'HEAD', but we can't remove '{0}'?
>
> Another technical issue, even if you have reflogs.
>
> HEAD@{0} and @{0} are referring to two different reflogs, and means
> different things, even though they may refer to the same commit.

How? AFAICS the code substitutes @{0} with HEAD@{0}.

Plus 'git show HEAD@{1}', 'git show current-branch@{1}', and 'git show
@{1}' all show the same thing, even though 'git relog HEAD' shows a
different commit for HEAD@{1}.

-- 
Felipe Contreras