Cleanup CI job

.github/workflows/gh-pages.yml

@@ -16,13 +16,7 @@ jobs:
           fetch-depth: 0
 
       - name: Build
-        run: ./build.sh --update
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        if: github.ref == 'refs/heads/master'
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./site
-          force_orphan: true
-          keep_files: false
+        run: |
+          git config --local user.email "github-actions[bot]@users.noreply.github.com"
+          git config --local user.name "github-actions[bot]"
+          ./build.sh --update

build.sh

@@ -44,7 +44,7 @@ echo "* Clean previous HTML build..."
 rm -rf site
 
 echo "* Building HTML..."
-mike deploy -F qwc2.yml $branch
+mike deploy -F qwc2.yml --push $branch
 
 # cleanup venv
 echo "* Clean venv..."

qwc2.yml.in

@@ -35,7 +35,3 @@ extra_css:
 markdown_extensions:
   - toc:
       permalink: true
-extra:
-  version:
-    provider: mike
-    default: master