#!/usr/bin/env sh

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

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

echo "Recreating tag"
git vtag "$1"