#!/usr/bin/env sh

echo "Deleting tag from origin"
git push --delete origin "$1"

echo "Deleting tag locally"
git tag -d "$1"

echo "Recreating tag"
git tag -s -m "$1" "$1"