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

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: May 1, 2013, 23:14 UTC
Message-ID: <CAMP44s0TtwBL=0MxU2C8QUkgA61KauPTcctH9TzQ_DdTaxh0eg@mail.gmail.com>
In-Reply-To: <7v4nem488y.fsf@alter.siamese.dyndns.org>

On Wed, May 1, 2013 at 5:59 PM, Junio C Hamano <gitster@pobox.com> wrote:

Show 12 quoted lines

> Felipe Contreras <felipe.contreras@gmail.com> writes:
>
>> Exactly, because ref@something is used for operations on a ref. If
>> 'ref' is missing, it only makes sense to use HEAD (or something like
>> that), and if 'something' is missing, it only makes sense to make it a
>> no-op, but since we don't want to forbid refs with names like
>> 'master@'. That's the reason why '@' makes sense, and not any other
>> character.
>
> Yes.  My typo made it look as if I meant to say '@' was a bad
> choice, but we are in agreement that '@' is better than any other
> random choice of single punctuation letter.

Yeah, we agree.

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

-- 
Felipe Contreras