CI: use latest ci config from docs branch

.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