Re: [PATCH v3] Add new @ shortcut for HEAD

> On Wed, May 1, 2013 at 6:14 PM, Felipe Contreras
> <felipe.contreras@gmail.com> wrote:
>> On Wed, May 1, 2013 at 5:59 PM, Junio C Hamano <gitster@pobox.com> wrote:
>
>>> It is just the "strip this, strip that" explanation, which is not
>>> technically correct, does _not_ have to be our justification for
>>> picking '@' as a short-hand for HEAD.
>>
>> The point is that it follows from @something -> @.
>
> So my proposal is:
>
> ---
> Typing 'HEAD' is tedious, especially when we can use '@' instead.
>
> The reason for choosing '@' is that it follows naturally from the
> ref@op syntax (e.g. HEAD@{u}), except we have no ref, and no
> operation, and when we don't have those, it makes sens to assume
> 'HEAD'.
>
> After this patch, we can use 'git show @~1', and all that goody goodness.