Correctly push new release tag when publishing.

This commit is contained in:
Jürg Lehni 2014-04-07 11:33:18 +02:00
parent 2111e76804
commit 69f2eba6cd

View file

@ -68,6 +68,7 @@ git add -A $DIST_FILE
git commit -m "Release version v$VERSION"
# Tag
git tag "v$VERSION"
git push --follow-tags
git push
git push --tags
cd "$PAPER_DIR/build"