diff --git a/doc/deploy_documentation.sh b/doc/deploy_documentation.sh index e3352f4b4..b62142d6b 100755 --- a/doc/deploy_documentation.sh +++ b/doc/deploy_documentation.sh @@ -27,7 +27,7 @@ if [ -d "$dir/html" ] && [ -s "$dir/html/index.html" ]; then branch: ${TRAVIS_BRANCH} build: ${TRAVIS_BUILD_NUMBER}" # Force push to the remote master branch. - git push --force "https://${GH_PACKETGRAPH_TOKEN}@${GH_REPO_REF}" master:master + git push --force "https://$GH_REPO_TOKEN@$GH_REPO_REF" master:master else echo 'Warning: No documentation (html) files have been found!' >&2 echo 'Warning: Not going to push the documentation to GitHub!' >&2 diff --git a/tests_travis/doc_style.sh b/tests_travis/doc_style.sh index a6555c13a..4f0447e78 100755 --- a/tests_travis/doc_style.sh +++ b/tests_travis/doc_style.sh @@ -1,8 +1,8 @@ #!/bin/bash cd $TRAVIS_BUILD_DIR -git config user.name "$(GH_USER_NAME)" -git config user.email "$(USER_MAIL)" +git config user.name "$GH_USER_NAME" +git config user.email "$GH_USER_MAIL" export LD="llvm-link" ./configure -p --with-benchmarks --with-examples