From 1bf64f9aa1994c9be4c9f93620b59ab2c223a7be Mon Sep 17 00:00:00 2001
From: embeddedt <42941056+embeddedt@users.noreply.github.com>
Date: Mon, 19 Jun 2023 21:07:13 -0400
Subject: [PATCH] Use annotated tags for releases [skip ci]

---
 scripts/autorelease.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/autorelease.sh b/scripts/autorelease.sh
index bf338308..508143b5 100755
--- 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 ""
 }