2022-04-20 21:31:37 +00:00
|
|
|
#!/usr/bin/env sh
|
|
|
|
|
|
|
|
echo "Deleting tag from origin"
|
2024-04-30 16:24:24 +00:00
|
|
|
git push --delete origin "v$1"
|
2022-04-20 21:31:37 +00:00
|
|
|
|
|
|
|
echo "Deleting tag locally"
|
2024-04-30 16:24:24 +00:00
|
|
|
git tag -d "v$1"
|
2022-04-20 21:31:37 +00:00
|
|
|
|
|
|
|
echo "Recreating tag"
|
2024-04-30 16:24:24 +00:00
|
|
|
git vtag "$1"
|