On Mon, Apr 29, 2013 at 3:01 PM, Junio C Hamano <gits...@pobox.com> wrote:
> Felipe Contreras <felipe.contre...@gmail.com> writes:
>
>> So HEAD@{0}~0^0 is too much to type, but we can remove '^0', and we can
>> remove '~0', and we can remove 'HEAD', but we can't remove '{0}'?
>>
>> This patch allows 'HEAD@' to be the same as 'HEAD@{0}', and similarly with
>> 'master@'.
>>
>> So we can type '@' instead of 'HEAD@', or rather 'HEAD'. So now we can
>> use 'git show @~1', and all that goody goodness.
>>
>> Signed-off-by: Felipe Contreras <felipe.contre...@gmail.com>
>> ---
>>
>> People have complained about the lack of a HEAD shortcut before, and some
>> proposals have been made, but I think this one is a clean trick in accordance
>> with our current syntax.
>
> Technically the notation would be only valid if you have a reflog on
> it, but if we must have such a notation, I think this may end up to
> be the least bad one.  I haven't thought things through, though, so
> won't stand behind it myself (i.e. when there are corner-case holes
> found later, I won't defend the notation myself), at least not yet.

But @ is not used just for reflogs, there's @{now}, @{-1}, @{upstream}.

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

Reply via email to