fixes to git and mike

.gitlab-ci.yml

@@ -20,7 +20,7 @@ pages:
       elif [ "$CI_COMMIT_REF_PROTECTED" == "true" ]; then
         mike deploy --deploy-prefix public -r $HTTPS_REMOTE -p -b $PAGES_BRANCH -u $CI_COMMIT_BRANCH
       fi
-      git checkout $PAGES_BRANCH -- public/
+    - git checkout $PAGES_BRANCH -- public/
   artifacts:
     paths:
       - public/