From c71b3a5b7d70a46ba793e05142e652d75082a34d Mon Sep 17 00:00:00 2001 From: Tushar Makkar Date: Fri, 4 Nov 2016 11:58:20 +0530 Subject: [PATCH] Fixing gh-pages push issue --- update_documentation.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/update_documentation.sh b/update_documentation.sh index b36d7cd..6240799 100644 --- a/update_documentation.sh +++ b/update_documentation.sh @@ -29,7 +29,6 @@ echo "Repo url is $URL" PUSH_URL="https://$GIT_USER:$GIT_PASS@${URL:8}" git remote set-url origin ${PUSH_URL} -git push --set-upstream origin gh-pages echo "Checking out $FROM_BRANCH..." && \ git fetch origin ${FROM_BRANCH}:${FROM_BRANCH} && \ @@ -47,7 +46,7 @@ git merge ${FROM_BRANCH} && \ # Push changes back to remote vcs echo "Pushing changes..." && \ -git push && \ +git push origin gh-pages && \ echo "Merge complete!" || \ echo "Error Occurred. Merge failed" @@ -59,4 +58,4 @@ echo "Sphinx not able to generate HTML" git status && git add . && git commit -m "Auto updating documentation from $CURRENT_BRANCH" && -git push && echo "Documentation pushed" +git push origin gh-pages && echo "Documentation pushed"