Forked from mobilemind/git-tag-delete-local-and-remote.sh
Last active
April 12, 2019 22:29
-
-
Save pford68/2c158ec8db3225bde37ab12420b0933a to your computer and use it in GitHub Desktop.
how to delete a git tag locally and remote #git
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # delete local tag '12345' | |
| git tag -d 12345 | |
| # delete remote tag '12345': http://stackoverflow.com/questions/5480258/how-to-delete-a-remote-tag | |
| git push origin :12345 | |
| # delete remote tag '12345' (eg, GitHub version too): From original Gist | |
| git push origin :refs/tags/12345 | |
| # alternative approach | |
| git push --delete origin tagName | |
| git tag -d tagName | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment