unixorn/git-extra-commands

#!/usr/bin/env bash
#
# Delete a tag, both locally and from the origin remote

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