diff --git a/.circleci/deploy-docs.sh b/.circleci/deploy-docs.sh index ac3bc1c..ab919f2 100755 --- a/.circleci/deploy-docs.sh +++ b/.circleci/deploy-docs.sh @@ -14,14 +14,11 @@ git config --global user.email $CI_GIT_EMAIL git config --global user.name $CI_GIT_USER echo "git user is $CI_GIT_USER ($CI_GIT_EMAIL)" -git checkout $GH_PAGES_BRANCH +git checkout -b $GH_PAGES_BRANCH rm -rf * || true -# ls -lha . mv ../gh-pages/docs/site/* ./ -# ls -lha . -# git status git add --force . git commit -m "build docs from commit ${CIRCLE_SHA1:0:7} (branch $CIRCLE_BRANCH)" git log -n 3 -git push origin $GH_PAGES_BRANCH +git push origin $GH_PAGES_BRANCH --force