Use annotated tags for releases [skip ci]

2023-06-19 21:07:13 -04:00 · 2023-06-19 21:07:13 -04:00 · 1bf64f9aa1
commit 1bf64f9aa1
parent f77221d6d8
1 changed files with 2 additions and 0 deletions
--- a/scripts/autorelease.sh
+++ b/scripts/autorelease.sh
@ -27,6 +27,8 @@ do_release() {
    echo "we think the current tag is $(git describe --tags --abbrev=0)"
    echo "the current commit head is $(git rev-parse HEAD)"
    read -p "new tag name: " tag_name
+    git tag -a $tag_name -m "$tag_name"
+    git push --tags
    gh release create $tag_name --target $1 --title "$tag_name" --notes ""
 }