Re: [PATCH] refs.c: interpret @ as HEAD

Junio C Hamano wrote:

"git update-ref HEAD $commit" is accepted.  If @ is a synonym for
HEAD, "git update-ref @ $commit" should work exactly the same way,
but is it desirable?

 Would we have $GIT_DIR/@ as the result?  How
about "git symbolic-ref"?

Yes, it is a valid refname that can be overridden [*1*].

Would @@{4} and HEAD@{4} be the same?

No.  Why should they?

[Footnotes]

*1*: In the current implementation, git update-ref fails.