git short cut

git-tag

#!/bin/bash

## make a git tag, and push to origin remote

git tag -d $1 || true
git tag $1

echo "Push tag to origin remote?"

select yn in "Yes" "Force" "No"; do
  case $yn in
    Yes ) git push origin $1; break;;
    Force ) git push --force origin $1; break;;
    No ) exit;;
  esac
done