I get how to delete a tag locally, but how can I propagate that deletion to remotes (ie git push --delete origin tagname)
?
How Can I Delete Remote Tags?
node42
#1
0 Likes
You just need to push an ‘empty’ reference to the remote tag name:
git push origin :tagname
Or, more expressively, use the --delete option (or -d if your git version is older than 1.8.0):
git push --delete origin tagname
If you also need to delete the local tag, use:
git tag --delete tagname
0 Likes