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