Git远程标签不会被删除

Question

我们正在尝试删除错误添加的远程git服务器上的某些标记，但它们似乎不想保持删除状态。我正在删除

git tag -d 12345
git push origin :refs/tags/12345

然后我指示所有团队成员立即运行git fetch和git fetch --tags来更新他们的本地人。我怀疑人们可能在抓取之前一直在推动，从而推回应该删除的本地标签，除非经过这几次，远程标签仍然显示备份。

我们缺少一些步骤吗？

Answer 1

可能会尝试：

git push --delete origin tagname