by October 16, 2011on
I don’t need this command that often but when I do, I can’t recall how it’s done. For that reason I am quickly posting how you can delete an already pushed tag on a remote:
# first remove the tag in your local repository git tag -d v0.0.3 # delete the tag on the remote git push origin :refs/tags/v0.0.3
Not that difficult, isn’t it?!