retag script

retag.sh

#!/usr/bin/env bash

set -exuo pipefail

if [[ $# -lt 3 ]]; then
  echo "usage: $0 TAG REMOTE BRANCH"
  return 1
fi

tag="$1"
remote="$2"
branch="$3"

git tag -d "$tag" \
  && git push --delete "$remote" "$tag" \
  && git tag "$tag" "$remote/$branch" \
  && git push "$remote" "$tag"