Today I deleted a tag in Eclipse using EGit that was already pushed to the origin. I then discovered that once the tag is deleted in the local repository there is no way in EGit to delete it from the origin. I am using Github as remote repository. So I checked if the tag could be deleted there. Unfortunately I could not find a delete option there. Bummer what now? Command line git to the rescue. It turns out it is a very simple command:

git push origin :refs/tags/<tag name>

This is the actual command I used:

git push origin :refs/tags/v0.5.4

That’s it.