From 4cf4871832daddc684e8fba3e2176f64875cfbda Mon Sep 17 00:00:00 2001 From: Darius Jahandarie Date: Thu, 2 Jan 2025 12:09:19 +0900 Subject: [PATCH] modify tag.sh to sign tags --- tag.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tag.sh b/tag.sh index 65c20cc6f7..cd0a929e8c 100755 --- a/tag.sh +++ b/tag.sh @@ -48,7 +48,7 @@ if [[ ! $REPLY =~ ^[Yy]$ ]]; then exit 1 fi -git tag $TAG +git tag -s $TAG echo -e -n "${YELLOW}Do you want to push the tag ${TAG} to the remote repository (which will cause a pre-release to get created)? (y/n): ${NC}" read -p "" -n 1 -r