git - 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

将 master 分支推送到源的 master 分支的真实示例是：

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

通过省略源引用（冒号之前的部分），您将“无”推送到目标，删除远程端的引用。