#!/bin/sh -e
if [ $# -lt 1 ] ; then
  echo "What tag?"
  exit
fi
if ! git tag | grep -q $1 ; then
  echo "Tag $1 not found"
  exit
fi

git tag -d $1
git push origin :refs/tags/$1

