From 7b6ff3d0b31a3eb2c8757b56848e9b171a0f8581 Mon Sep 17 00:00:00 2001 From: Tushar Makkar Date: Fri, 4 Nov 2016 11:52:55 +0530 Subject: [PATCH] Fixing upstream issue --- update_documentation.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/update_documentation.sh b/update_documentation.sh index 56ad16b..b36d7cd 100644 --- 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} && \