Pull gh-pages in workflow.

.github/workflows/docs.yml

@@ -20,6 +20,12 @@ jobs:
         run: |
           git config user.name github-actions[bot]
           git config user.email github-actions[bot]@users.noreply.github.com
+      - name: Pull gh-pages
+        run: |
+          git fetch origin gh-pages:gh-pages
+          git checkout gh-pages
+          git pull origin gh-pages
+          git checkout main
       - name: Setup Python
         uses: actions/setup-python@v5
         with:
@@ -39,4 +45,4 @@ jobs:
         run: mike deploy --push --update-aliases ${{ env.CURRENT_VERSION }} latest
       - name: Publish development
         if: ${{ github.event_name == 'push' }}
-        run: mike deploy development --push
+        run: mike deploy --push development