To delete a local tag:
git tag -d tag-name
To delete a remote tag:
git tag -d tag-name // first: delete it locally
git push origin :refs/tags/tag-name // then push the empty tag to origin
ref:
http://www.manikrathee.com/how-to-delete-a-tag-in-git.html
No comments:
Post a Comment