永久删除多用户项目中的git标记

Question

我们的一个项目团队中有很多人在处理它，创建了一个与工作分支同名的标签。这导致很多人在这个分支机构的运营中遇到问题（与他们的各种git客户端一起）。

我尝试访问所有人，并与git tag -d badtag以及git push origin :refs/tags/badtag一样。但人们总是会错过，最终有人出现并重新推动标签。

我们能做些什么吗？它让我们疯了。我们使用github作为我们的主存储库。