From: gitmailinglist.bentolor@xoxy.net
Date: Fri, 17 Sep 2021 11:20:19 GMT
Subject: Should `@` be really a valid git tag name?
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.