diff --git a/.github/deploy.sh b/.github/deploy.sh index b910137cc..496d99eb3 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -34,7 +34,7 @@ git config push.default simple git add -A . if [ "$TRAVIS_COMMIT" ] then - git commit -a -m "Update website from commit $TRAVIS_COMMIT" + git commit -a -m "Update website from commit $TRAVIS_COMMIT" || true git push origin HEAD:gh-pages fi