diegobdev/git-tag-delete-local-and-remote.sh

Forked from mobilemind/git-tag-delete-local-and-remote.sh

Created September 20, 2017 19:56

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/diegobdev/6c994f505b28013521c51c3d5b2c16d2.js"></script>
Save diegobdev/6c994f505b28013521c51c3d5b2c16d2 to your computer and use it in GitHub Desktop.

Download ZIP

how to delete a git tag locally and remote

Raw

git-tag-delete-local-and-remote.sh

-# delete local tag '12345'
-git tag -d 12345
-# delete remote tag '12345' (eg, GitHub version too)
-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