diff --git a/scripts/update_docs.sh b/scripts/update_docs.sh index ff74f0b829e7..83568f994b54 100755 --- a/scripts/update_docs.sh +++ b/scripts/update_docs.sh @@ -89,6 +89,6 @@ git config --global user.name "travis-ci" git commit -m "Update docs after merge to master." # NOTE: This may fail if two docs updates (on merges to master) # happen in close proximity. -git push \ +git push -q \ "https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME}" \ HEAD:gh-pages diff --git a/scripts/update_json_docs.sh b/scripts/update_json_docs.sh index 0a30316c56f0..311ce58a9d58 100755 --- a/scripts/update_json_docs.sh +++ b/scripts/update_json_docs.sh @@ -13,7 +13,7 @@ function buildDocs () { function pushDocs () { echo "Deploying JSON documentation..." if [[ ! -d "ghpages" ]]; then - git submodule add -f -b gh-pages https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME} ghpages + git submodule add -q -f -b gh-pages https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME} ghpages fi mkdir -p ghpages/json/${1} cp -R docs/_build/json_build/* ghpages/ @@ -24,7 +24,7 @@ function pushDocs () { git config user.email "travis@travis-ci.org" git commit -m "Updating docs for ${1}" git status - git push https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME} HEAD:gh-pages + git push -q https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME} HEAD:gh-pages else echo "Nothing to commit." fi @@ -35,7 +35,7 @@ function pushDocs () { function cleanSubmodule () { echo "Cleaning up!" - git submodule deinit -f ghpages + git submodule deinit -q -f ghpages git reset HEAD .gitmodules git reset HEAD ghpages rm -rf ghpages