Git allow to sign releases, so use itIt

Signed-off-by: Pablo Lezaeta Reyes <prflr88@gmail.com>
erkin · Oct 6, 2017 · 5bcde31 · 5bcde31
1 parent 151d492
commit 5bcde31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"