Re: [PATCH] Add new @ shortcut for HEAD
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Apr 29, 2013, 20:02 UTC
- 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.