Delete a remote git tag From https://nathanhoad.net/how-to-delete-a-remote-git-tag
git tag -d 12345 git push origin :refs/tags/12345