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

git alias config steps

$ vi ~/.gitconfig

• add git alias into alias scope, if dont have [alias], you need add by yourself

[alias]
        remove-tags = "!f() { git tag -l ${1} | xargs -I % echo \"git tag -d % && git push --delete origin %\" | sh; }; f"

• run git alias, add regexp to match tags to delete

git remove-tags <regexp>

• if you do not know which regexp is work, recommend use list first

git tag --list

DEMO

$ git tag -a 'v10.0.0'
$ git remove-tags 'v10.0.*'
$ git tag -l