On Mon, Oct 07, 2024 at 10:15:16PM +0200, Kristoffer Haugsbakk wrote: [snip] > §2 Disallow `HEAD` as a branch name > > This was done later in 2017: > > https://lore.kernel.org/git/20171114114259.8937-1-kaartic.sivaraam@xxxxxxxxx/ > > §2 `refs/heads/@` is apparently disallowed by git-refs(1) > > See `t/t1508-at-combinations.sh`: > > ``` > error: refs/heads/@: badRefName: invalid refname format > ``` > It's true that using "git refs verify" will report "refs/heads/@" is a bad refname.