A quick routine for cleaning up git tags both locally and remotely

cleantags.sh

#!/bin/bash
remotes=`git remote`

for t in `git tag | grep $1`
do
    echo "Removing $t"
    git tag -d $t
    for r in $remotes
    do
      git push $r :$t
    done
done