Delete all tags on local and remote repository (be careful)
# See http://blog.siyelo.com/how-to-bulk-delete-remote-git-tags/
# delete local
git tag -l | awk '/^(.*)$/ {print $1}' | xargs git tag -d
# delete remote
git ls-remote --tags origin | awk '/^(.*)(\s+)(.*)$/ {print ":" $2}' | xargs git push origin