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.