How to delete a git tag already pushed to remote origin

This minipost will guide you through all the required steps to delete a git tag that has been already push-ed to the git remote origin.

For this minipost, we assume that you have already pushed a git tag with the name tagname to the remote origin and you want to delete it.

Start with deleting the git tag tagname from the remote origin by:

git push --delete origin tagname

To [email protected]:devuser/testrepo.git
 - [deleted]         tagname

And then delete the tagname from your local git repo by:

git tag --delete tagname

Deleted tag 'tagname' (was 5e589e0)

You have now deleted the git tag tagname from both the remote origin and from your local git repo.