Tip to delete tags by pattern

git-del-tags-regex.sh

# delete all the remote tags with the pattern your looking for, ie. DEV-
git push origin --delete $(git tag -l "DEV-*")
# delete all your local tags
git tag -d $(git tag -l "DEV-*")
# fetch the remote tags which still remain
git fetch