On Mon, Apr 29, 2013 at 3:23 PM, Felipe Contreras
<felipe.contreras@xxxxxxxxx> wrote:
> On Mon, Apr 29, 2013 at 3:02 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote:
>> Felipe Contreras <felipe.contreras@xxxxxxxxx> 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}'?
>>
>> Another technical issue, even if you have reflogs.
>>
>> HEAD@{0} and @{0} are referring to two different reflogs, and means
>> different things, even though they may refer to the same commit.
>
> How? AFAICS the code substitutes @{0} with HEAD@{0}.
>
> Plus 'git show HEAD@{1}', 'git show current-branch@{1}', and 'git show
> @{1}' all show the same thing, even though 'git relog HEAD' shows a
> different commit for HEAD@{1}.
Never-mind, now I see the difference, still, I don't think it's
relevant for this patch.
--
Felipe Contreras
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html