From: Jeff King Date: Thu, 05 Dec 2024 20:27:44 GMT Subject: Re: [PATCH 4/4] tag: "git tag" refuses to use HEAD as a tagname 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: > > > 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