如何删除名为@的Git远程标签

Question

我无意中创建了一个名为 @ 的 Git 标记并将其推送到 GitHub。

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

现在我想再次摆脱这个标签。 GitHub 没有提供删除 Git 标签的 UI。我成功删除了本地标签，但无论我尝试什么，我都无法推送删除远程标签。这是我已经尝试过的：

$ git push :@                                                                                                                                    
ssh: Could not resolve hostname : Name or service not known
$ git push :"@" 
ssh: Could not resolve hostname : Name or service not known
$ git push --delete origin "@"                                                                                                               
fatal: invalid Refspec ':@'
$ git push --delete origin \@    
fatal: invalid Refspec ':\@'
$ git push --delete origin '@'   
fatal: invalid Refspec ':@'

任何人都提示应该采取什么技巧？

Answer 1

嗯！浏览.gif/refs目录后发现：

git push --delete origin tags/@ 

成功了。