标签： git
我在删除标签时遇到问题：
我在本地删除了一个标签[git tag -d TAGNAME]和远程[git push --delete origin TAGNAME] [关于删除标签，请参阅How to delete a git remote tag?。 现在，如果其他团队成员拉[git pull --tags]，将无法获得更改，这意味着已删除的标记仍然存在于其本地存储库中。当最终推送[git push --tag]时，之前删除的标签将重新出现在标签列表中。
有人提示吗？
非常感谢