Fix CI config

.github/workflows/ci.yml

@@ -41,48 +41,46 @@ jobs:
         run: ./integration-tests/run.sh
 
   publish_mkdocs_latest:
-    if: github.event_name == 'push' and contains(github.ref, 'refs/tags/')
+    if: github.event_name == 'push' && contains(github.ref, 'refs/tags/')
     runs-on: ubuntu-latest
     needs: build
-    env:
-      GIT_COMMITTER_NAME: mkdocs-mike
-      GIT_COMMITTER_EMAIL: [email protected]
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python 3.10
         uses: actions/setup-python@v3
         with:
-          python-version: 3.10
+          python-version: "3.10"
           cache: 'pip'
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
           pip install mkdocs singledispatch mkdocs-material mike
       - name: Deploy documentation with mike
-        run: mike deploy ${{github.ref_name}} latest
-      - name: Push gh-pages branch
-        run: git push origin gh-pages:gh-pages
+        run: |
+          git config user.name mkdocs-mike
+          git config user.email [email protected]
+          git fetch origin gh-pages
+          mike deploy -p --rebase ${{github.ref_name}} latest
 
 
   publish_mkdocs_wip:
-    if: github.event_name == 'push' and contains(github.ref, 'main')
+    if: github.event_name == 'push' && contains(github.ref, 'main')
     runs-on: ubuntu-latest
     needs: build
-    env:
-      GIT_COMMITTER_NAME: mkdocs-mike
-      GIT_COMMITTER_EMAIL: [email protected]
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python 3.10
         uses: actions/setup-python@v3
         with:
-          python-version: 3.10
+          python-version: "3.10"
           cache: 'pip'
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
           pip install mkdocs singledispatch mkdocs-material mike
       - name: Deploy documentation with mike
-        run: mike deploy wip
-      - name: Push gh-pages branch
-        run: git push origin gh-pages:gh-pages
+        run: |
+          git config user.name mkdocs-mike
+          git config user.email [email protected]
+          git fetch origin gh-pages
+          mike deploy -p --rebase wip

requirements.txt

@@ -0,0 +1,4 @@
+mkdocs
+singledispatch
+mkdocs-material
+mike