how to delete a git tag locally and remote

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

# 1. delete local tag '12345'
git tag -d 12345
# 2. delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345

# 3. alternative approach
git push --delete origin tagName
git tag -d tagName

# 4. delete many tags
git tag --list '2.0.0-*' | xargs -I % echo "git tag -d %; git push --delete origin %" | sh