diff --git a/tools/deploy-gh-pages.sh b/tools/deploy-gh-pages.sh index a25d0362..7e770b3f 100755 --- a/tools/deploy-gh-pages.sh +++ b/tools/deploy-gh-pages.sh @@ -18,7 +18,7 @@ if ! git diff --quiet HEAD ; then git config push.default simple git config user.email "$DEPLOY_USER_EMAIL" git config user.name "$DEPLOY_USER_NAME" - git commit -m "Generated by Travis JOB $TRAVIS_JOB_NUMBER" -m "https://travis-ci.org/$TRAVIS_REPO_SLUG/builds/$TRAVIS_BUILD_ID" + git commit -m "Generated by Travis JOB $TRAVIS_JOB_NUMBER" -m "https://travis-ci.com/github/$TRAVIS_REPO_SLUG/builds/$TRAVIS_BUILD_ID" git push else echo "No changes"