Subject: Re: Should `@` be really a valid git tag name?

From: Junio C Hamano <[email-masked]>
Date: Fri, 17 Sep 2021 16:06:05 -0700

Carlo Marcelo Arenas Belón <[email-masked]> writes:

> I was leaning towards something like that plus a Documentation update, but
> noticed that the current behaviour was inconsistent, and the confusion
> pointed out by Junio seems to indicate it is better if fully restricted.

That is a bad move, as existing repositories may have a ref with
such a name.

If we tighten anything retroactively, we probably should forgid '@'
short-hand that stands for HEAD, I would think.