Delete prerelease git tags

delete-pre-release-tags.sh

#!/bin/bash

#this will delete tags that look like v7.1.0-adj-policy-update-ex.1+56
git tag -l | awk '/^(v.*-.*)$/ {print $1}' | xargs git tag -d
git ls-remote --tags origin | awk '/^(.*)(\s+)(.*v.+-)[^\^]+$/ {print ":" $2}' | xargs git push origin

# add back specific pre-release tags you want to keep
git tag v7.9.3-no-go-reason.1+5 a88ae0b7fdd9d76ccae35df6a96f43248a100ff6

# push those specific tags back to origin
git tag -l | awk '/^(v.*-.*)$/ {print $1}' | xargs git push origin