Should `@` be really a valid git tag name?

From: gitmailinglist.bentolor@xoxy.net <gitmailinglist.bentolor@xoxy.net>
Date: Sep 17, 2021, 11:20 UTC
Message-ID: <0c68d628-e093-1cbd-e3bd-38a827545418@gmx.net>

Hello Git-Community,

by accident I did:

    git tag -a -s @
    git push --tags

in v2.25.1 and pushed the tag named `@` to Github and had some minutes of fun to get rid of it again (see: https://stackoverflow.com/a/69211383)

A SO commenter pointed out, that git-check-ref-format forbids @ and maybe I should report this as potential bug. Is it?

Best, Benjamin

P.S.: I'm not subscribed, so please CC me.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.