diff --git a/retag.sh b/retag.sh new file mode 100755 index 0000000..47c9a13 --- /dev/null +++ b/retag.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +# Add the new tag +git tag "$1" + +# Retag "v1" to point to the new one +git tag -d v1 +git tag v1 + +# Push the new tag +git push origin "$1" + +# Retag "v1" remotely +git push --delete origin v1 +git push origin v1