From 9479f2a49e63358a2986fbbe12e326e129fa0708 Mon Sep 17 00:00:00 2001 From: Jeff Reback Date: Sat, 13 May 2017 17:27:59 -0400 Subject: [PATCH] DOC: remove credential helper --- ci/build_docs.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/ci/build_docs.sh b/ci/build_docs.sh index 25b927119a32a4..f9f6744ab3a824 100755 --- a/ci/build_docs.sh +++ b/ci/build_docs.sh @@ -40,15 +40,10 @@ if [ "$DOC" ]; then cd /tmp/doc/build/html git config --global user.email "pandas-docs-bot@localhost.foo" git config --global user.name "pandas-docs-bot" - git config --global credential.helper cache # create the repo git init - git remote remove origin - git remote add origin "https://${PANDAS_GH_TOKEN}@github.com/pandas-docs/pandas-docs-travis.git" - git fetch origin - touch README git add README git commit -m "Initial commit" --allow-empty @@ -58,6 +53,11 @@ if [ "$DOC" ]; then git add --all . git commit -m "Version" --allow-empty + git remote remove origin + git remote add origin "https://${PANDAS_GH_TOKEN}@github.com/pandas-docs/pandas-docs-travis.git" + git fetch origin + git remote -v + git push origin gh-pages -f fi