Deleting Tags in Git
Deleting a local tag is straightforward, and uses the "git tag":
# git tag -d v.7b
Deleting a remote tag is the same syntax and idiom (and, in fact, command) as deleting a remote branch:
# git push origin :v.7b
Deleting a local tag is straightforward, and uses the "git tag":
# git tag -d v.7b
Deleting a remote tag is the same syntax and idiom (and, in fact, command) as deleting a remote branch:
# git push origin :v.7b
feed
Post new comment