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

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: May 2, 2013, 02:33 UTC
Message-ID: <CAMP44s0zbb7GO2oFZ5LhSu3Xu_SMZcit5Yzqk+E=4XoO9Ju5Bw@mail.gmail.com>
In-Reply-To: <CAMP44s0TtwBL=0MxU2C8QUkgA61KauPTcctH9TzQ_DdTaxh0eg@mail.gmail.com>

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:

Show 5 quoted lines

>> 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.

Until now '@' was a valid ref name, but it conflicts with this idea, so lets make it invalid. Probably very few people, if any, used this symbolic ref. ---

-- 
Felipe Contreras