GPG sign Git release tags

This makes it possible to verify that the tag matches what release manager did release. Signed-off-by: Michal Čihař <michal@cihar.com>
phpmyadmin · Jul 26, 2016 · 8008602 · 8008602
1 parent 7de0354
commit 8008602
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/create-release.sh b/scripts/create-release.sh
@@ -340,7 +340,7 @@ if [ $do_tag -eq 1 ] ; then
     echo "Additional tasks:"
     tagname=RELEASE_`echo $version | tr . _ | tr '[:lower:]' '[:upper:]' | tr -d -`
     echo "* Tagging release as $tagname"
-    git tag -a -m "Released $version" $tagname $branch
+    git tag -s -a -m "Released $version" $tagname $branch
     echo "   Dont forget to push tags using: git push --tags"
 fi