The tags should be annotated if possible

This commit is contained in:
Dave Halter
2017-12-30 14:05:50 +01:00
parent 0dea94c801
commit 085aad3038

View File

@@ -36,7 +36,7 @@ if [[ $tag_ref ]]; then
exit 1 exit 1
fi fi
else else
git tag $tag git tag -a $tag
git push --tags git push --tags
fi fi