Felipe Contreras <felipe.contre...@gmail.com> writes:

> On Wed, May 1, 2013 at 6:14 PM, Felipe Contreras
> <felipe.contre...@gmail.com> wrote:
>> On Wed, May 1, 2013 at 5:59 PM, Junio C Hamano <gits...@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.

That reads much better.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to