From: Felipe Contreras Date: Mon, 29 Apr 2013 21:36:21 GMT Subject: Re: [PATCH] Add new @ shortcut for HEAD Message-ID: In-Reply-To: On Mon, Apr 29, 2013 at 3:23 PM, Felipe Contreras wrote: > On Mon, Apr 29, 2013 at 3:02 PM, Junio C Hamano wrote: >> Felipe Contreras 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