Need to prune your tags? Use a simple pattern and nuke them on both the remote and local repo!

TL;DR

First, delete the matching tags on the remote:

git push origin --delete $(git tag -l "v*")

Next, delete t matching tags locally:

git tag -d $(git tag -l "v*")

Bonus

Automagically bump by creating a new incremented tag:

git tag -l --sort=refname|tail -n 1 | awk -F. '{OFS="."; $NF+=1; print $0}'

20.0.10