diff --git a/scripts/release_new_version.sh b/scripts/release_new_version.sh new file mode 100644 index 0000000..6be7f8b --- /dev/null +++ b/scripts/release_new_version.sh @@ -0,0 +1,9 @@ +#!/bin/bash + +set -ex + +git fetch origin main +git checkout FETCH_HEAD +git commit -m "Tag $1" --allow-empty +git tag $1 HEAD +git push origin $1