how to delete a git tag locally and remote

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

see also https://github.com/tj/git-extras/blob/master/Commands.md#git-delete-branch

@eli8527 and I: ✊

Damn, This thing has helped people for 3 years. The internet has done something good some how.

Thanks 👍

thanks

Thank you

thank you so muchch

thanks

Wonderful, Thank you !

simple and easy, thanks!

kudos!

Thanks man!

Thank you!

Thank you!

Thanks man!

Thank you!

Thanks a lot :)

Thanks!

Thanks!

Thanks!

Thanks!

Thanks!

Thanks!

Thanks!

Thank you

Thank you!

thanks, very annoying glitches happening

Thank you!