docs: fix mike docs deployment

Author: DeepSpace2

.github/workflows/docs-develop.yml

@@ -36,4 +36,4 @@ jobs:
       - name: Install Dependencies
         run: pip install mkdocs-material mike
       - name: Build and Deploy Docs
-        run: mike deploy develop && git checkout gh-pages && git pull origin gh-pages && git push --set-upstream origin gh-pages
+        run: mike deploy develop && git checkout gh-pages && git pull --rebase origin gh-pages && git push --set-upstream origin gh-pages

.github/workflows/docs-release.yml

@@ -29,4 +29,4 @@ jobs:
       - name: Install Dependencies
         run: pip install mkdocs-material mike
       - name: Build and Deploy Docs
-        run: mike deploy --update-aliases ${{ github.event.release.tag_name }} latest && git checkout gh-pages && git pull origin gh-pages && git push --set-upstream origin gh-pages
+        run: mike deploy --update-aliases ${{ github.event.release.tag_name }} latest && git checkout gh-pages && git pull --rebase origin gh-pages && git push --set-upstream origin gh-pages