If you don't know, maybe you could give me the benefit of the doubt? In any case, the syntax to delete a remote tag is just e.g. $ git push origin :mytag Aft

If you don't know, maybe you could give me the benefit of the doubt? In any case, the syntax to delete a remote tag is just e.g. $ git push origin :mytag After that you are free to push a new tag to replace the old, with no warnings or --force flags. When we use a tag to specify the version of a dependency, we trust the maintainer not to do this. If we don't have that level of trust we can use SHA1's instead. We should not pretend that there is anything in git that tries to prevent a tag from being rewritten by someone who wants to.