Permalink
Browse files

The tags should be annotated if possible

  • Loading branch information...
davidhalter committed Dec 30, 2017
1 parent 0dea94c commit 085aad303893da2e5d6af266e57dbfdbf1425b62
Showing with 1 addition and 1 deletion.
  1. +1 −1 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

0 comments on commit 085aad3

Please sign in to comment.