From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 17 Sep 2021 23:06:05 GMT
Subject: Re: Should `@` be really a valid git tag name?
Message-ID: <xmqqr1dmg5uq.fsf@gitster.g>
In-Reply-To: <YUUdjNDkL7Uy5erG@carlos-mbp.lan>

Carlo Marcelo Arenas Belón <carenas@gmail.com> 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.