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"