Fixing upstream issue

alecthomas · Nov 4, 2016 · 7b6ff3d · 7b6ff3d
1 parent 03f3037
commit 7b6ff3d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/update_documentation.sh b/update_documentation.sh
@@ -29,6 +29,7 @@ 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} && \