Only push when it's not a PR

This commit is contained in:
Johnny @PC 2015-02-24 20:00:21 +01:00
parent 30faaa3138
commit caced2a9bc

View File

@ -1,4 +1,7 @@
#!/bin/bash
if [ "$TRAVIS_PULL_REQUEST" == "false" ]
echo Starting push to gh-pages...
mkdir deploy
cd deploy
@ -14,4 +17,6 @@ git add -f .
git commit -m "Automatic built mkdocs | Travis Build $TRAVIS_BUILD_NUMBER pushed"
git push -fq origin gh-pages > /dev/null
echo -e "Done"
echo -e "Done"
fi