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

On Wed, May 1, 2013 at 6:14 PM, Felipe Contreras
[off-list ref] wrote:

On Wed, May 1, 2013 at 5:59 PM, Junio C Hamano [off-list ref] wrote:

quoted

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