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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html