From 9b1d3ff2071c42dfdbe847f11b25f117c3db827d Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Sat, 30 Dec 2017 14:05:14 +0100
Subject: [PATCH] The tags should be annotated if possible

---
 deploy-master.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy-master.sh b/deploy-master.sh
index d1e76cb4..66a290d6 100755
--- a/deploy-master.sh
+++ b/deploy-master.sh
@@ -36,7 +36,7 @@ if [[ $tag_ref ]]; then
         exit 1
     fi
 else
-    git tag $tag
+    git tag -a $tag
     git push --tags
 fi