Adding to gh-pages push

osg-bosco · Oct 26, 2016 · 2516b9f · 2516b9f
1 parent 24bdfa5
commit 2516b9f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -16,6 +16,5 @@ script:
 - git config user.email "djw8605@gmail.com"
 - git remote add gh-token "https://${GH_REF}";
 - git fetch gh-token && git fetch gh-token gh-pages:gh-pages;
-- if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then PYTHONPATH=src/ mkdocs gh-deploy
-  -v --clean --remote-name gh-token; fi;
+- if [ "${TRAVIS_PULL_REQUEST}" = "false" ]; then echo "Pushing to github"; PYTHONPATH=src/ mkdocs gh-deploy -v --clean --remote-name gh-token; git push gh-token gh-pages; fi;