From 5bcde318f714873a63189d2a750adb28a3f82839 Mon Sep 17 00:00:00 2001
From: Pablo Lezaeta Reyes <prflr88@gmail.com>
Date: Fri, 6 Oct 2017 01:12:39 -0300
Subject: [PATCH] Git allow to sign releases, so use itIt

Signed-off-by: Pablo Lezaeta Reyes <prflr88@gmail.com>
---
 dev/dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/dist.sh b/dev/dist.sh
index 6fb8b78a..5dd323e1 100755
--- a/dev/dist.sh
+++ b/dev/dist.sh
@@ -98,7 +98,7 @@ tag()
     
     version=`./setup.py version`
     if [ "$version" = 'Ponysay '"$1"' installer' ]; then
-	git tag -a "$@" && git checkout "$1" && git push --tags -u origin "$1"
+	git tag -s "$@" && git checkout "$1" && git push --tags -u origin "$1"
     else
 	echo 'Setup script reports. '"$version"
 	echo 'This is not consistent with desired tag version: '"$1"