diff --git a/tools/deploy-emscripten.sh b/tools/deploy-emscripten.sh index 5aa792258..58703bbe4 100755 --- a/tools/deploy-emscripten.sh +++ b/tools/deploy-emscripten.sh @@ -7,6 +7,7 @@ TARGET_BRANCH=gh_pages (test "$TRAVIS_BRANCH" != "master" && test "$TRAVIS_BRANCH" != "cmake") && exit 0 ## Configure Git to use OAuth token +REPO=`git config remote.origin.url` git config credential.helper "store --file=.git/credentials" echo "https://${GH_TOKEN}:@github.com" > .git/credentials git config --global user.name $GH_USER