git标签删除并重新添加

Question

在git hub上，我通过执行以下操作重新添加了标记：

git tag -d 12.15
git push origin :refs/tags/12.15
git tag -a 12.15 -m '12.15'
git push --tags

标签仍然是指github上的旧标签，但在本地它是正确的。

更新：似乎github列出了最后一次提交错误，但正确下载。

Answer 1

引用为https://stackoverflow.com/a/5480292/1317035

您只需要将“空”引用推送到远程标记名称：

git push origin :tagname

或者，更具表现力，使用--delete选项：

git push --delete origin tagname

将分支，标记或其他引用推送到远程存储库涉及指定“推送位置，来源，目的地？”

git push where-to-push source-ref:destination-ref

将主分支推送到原始主分支的真实示例是：

git push origin refs/heads/master:refs/heads/master

由于默认路径，可以缩短为：

git push origin master:master

标签的工作方式相同：

git push refs/tags/release-1.0:refs/tags/release-1.0

省略源ref（冒号前的部分），将'nothing'推送到目的地，删除远端的ref。