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

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

Created November 5, 2019 15:49

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/piotrlewandowski/5e8900ead5168f3fb6085a9014c25a0b.js"></script>
Save piotrlewandowski/5e8900ead5168f3fb6085a9014c25a0b 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