# First pull all remote tags locally
git pull --tags
# Then remove tags from remote first
git tag | grep -v v0.1.[0-9] | xargs -n 1 git push --delete origin
# Then remove locally
git tag | grep -v v0.1.[0-9] | xargs git tag -d
# If removing multiple, use grep to control what will be removed
# These commands make use of xargs which is a unix command.
# On windows, use git-bash to execute the same commands