Delete Remote Git Tags
How many times have I pushed a git tag to GitHub and then realized that I made a mistake? Too many to count. It is kind of embarrassing. Fortunately it is not frequent enough that I have memorized how to delete that tag.
So write it down.
Assuming that you just pushed a tag named 0.7.8 to origin. You can delete it doing the following:
git tag -d 0.7.8
git push origin :refs/tags/0.7.8