diff --git a/ci/build_docs.sh b/ci/build_docs.sh index 79f004319c388..6dcd291b5a72f 100755 --- a/ci/build_docs.sh +++ b/ci/build_docs.sh @@ -56,7 +56,8 @@ if [ x"$DOC_BUILD" != x"" ]; then git add --all . git commit -m "Version" --allow-empty git remote remove origin - git remote add origin "https://$GH_TOKEN@github.com/pandas-docs/pandas-docs-travis.git" + echo "https://${GH_TOKEN}@github.com/pandas-docs/pandas-docs-travis.git" + git remote add origin "https://${GH_TOKEN}@github.com/pandas-docs/pandas-docs-travis.git" git push origin gh-pages -f fi