git-tag-delete.sh

#!/usr/bin/env bash

# Consider writing robust bash shell scripts ( http://mywiki.wooledge.org/ ;)

set -o nounset

# ----------------------
# Command line arguments
# ----------------------

[[ $# -ge 1 ]] || { printf "\nusage:\n\t`basename ${BASH_SOURCE}` <tag-name-1> <tag-name-2> ...\n" 1>&2; return 1; }

declare -a TAG_NAMES=( "$@" )

# ----
# Main
# ----

for T in ${TAG_NAMES[*]}; do
  # locally
  git tag  --delete        "${T}"
  # remotely
  git push --delete origin "${T}"
done