From 80086020a1d5bbb51b8fc577c5f58b3ba553280a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 26 Jul 2016 11:15:26 +0200
Subject: [PATCH] GPG sign Git release tags
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This makes it possible to verify that the tag matches what release
manager did release.

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 scripts/create-release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/create-release.sh b/scripts/create-release.sh
index 0309a52dff..b8f337ec32 100755
--- 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