Use annotated tags for releases [skip ci]

embeddedt · embeddedt · commit 1bf64f9aa199 · 2023-06-19T21:07:13.000-04:00
diff --git 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 ""
 }
 

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,8 @@ do_release() {`
`27`	`27`	`echo "we think the current tag is $(git describe --tags --abbrev=0)"`
`28`	`28`	`echo "the current commit head is $(git rev-parse HEAD)"`
`29`	`29`	`read -p "new tag name: " tag_name`
	`30`	`+ git tag -a $tag_name -m "$tag_name"`
	`31`	`+ git push --tags`
`30`	`32`	`gh release create $tag_name --target $1 --title "$tag_name" --notes ""`
`31`	`33`	`}`
`32`	`34`