Re: [PATCH 4/4] tag: "git tag" refuses to use HEAD as a tagname

From: Jeff King <peff@peff.net>
Date: Dec 5, 2024, 20:27 UTC
Message-ID: <20241205202744.GA3170018@coredump.intra.peff.net>
In-Reply-To: <20241205202647.GE2629822@coredump.intra.peff.net>

On Thu, Dec 05, 2024 at 03:26:47PM -0500, Jeff King wrote:

Show 12 quoted lines

> > > I am wondering whether we should also update "check_refname_format"
> > > function to report "refs/heads/HEAD" and "refs/tags/HEAD" is bad ref
> > > name.
> > 
> > Check the list archive for the past few days; it was considered and
> > rejected.
> 
> Agreed, but maybe that is an indication we should discuss that
> alternative in the commit message. (I had looked for similar
> justification in the existing "branch" restriction, but couldn't find
> it, to the point that I wondered if I had hallucinated our reasoning
> back then).

Ah, nevermind. I just read your v2 and I think it covers this nicely.

-Peff