commit f71b01316042fa842eb2ea437cfa1eca2ffd67e0 parent 22dfa1107a493493d3e9a064668766ee062736a8 Author: Georges Dupéron <georges.duperon@gmail.com> Date: Tue, 21 Mar 2017 01:55:17 +0100 Try to find the source of the push failure. Diffstat:
| M | auto-push-gh-pages.sh | | | 3 | ++- |
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/auto-push-gh-pages.sh b/auto-push-gh-pages.sh @@ -43,5 +43,6 @@ else touch $TRAVIS_GH_PAGES_DIR/.nojekyll (cd $TRAVIS_GH_PAGES_DIR && git add -A . && git commit -m "Auto-publish to gh-pages") echo '(cd '"$TRAVIS_GH_PAGES_DIR"'; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages)' - (cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages >/dev/null 2>&1 || true) >/dev/null 2>&1 # redirect to /dev/null to avoid showing credentials. + #(cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages >/dev/null 2>&1) >/dev/null 2>&1 # redirect to /dev/null to avoid showing credentials. + (cd $TRAVIS_GH_PAGES_DIR; git push --force --quiet "https://git@github.com/jsmaniac/phc-thesis.git" master:gh-pages) fi \ No newline at end of file