From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 29 Apr 2013 20:02:31 GMT
Subject: Re: [PATCH] Add new @ shortcut for HEAD
Message-ID: <7v61z5hzqg.fsf@alter.siamese.dyndns.org>
In-Reply-To: <1367264106-2351-1-git-send-email-felipe.contreras@gmail.com>

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.

But the comment in my previous message still stands.