git pull --rebase before push

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -9,15 +9,15 @@ on:
         default: "master"
 
 permissions:
-  contents: read
-  pages: write
-  id-token: write
+  contents: write
 
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      - name: "Fetch gh-pages branch"
+        run: git fetch origin gh-pages --depth=1
       - name: "Set permissions"
         run: chmod -R a+rwX $(pwd)
       - name: "Build site"
@@ -26,13 +26,9 @@ jobs:
                  quay.io/openssl-ci/docs:20240711-115832 sh -c "\
                    git config --global --add safe.directory /mnt && \
                    python build.py ${{ github.event.inputs.branch }}"
-      - name: "Change branch"
-        run: git switch gh-pages
-      - name: "Setup GitHub Pages"
-        uses: actions/configure-pages@v5
-      - name: "Upload artifact"
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: "."
-      - name: "Deploy to GitHub Pages"
-        uses: actions/deploy-pages@v4
+      - name: "Push branch"
+        run: |
+          git config user.name openssl-machine
+          git config user.email [email protected]
+          git pull --rebase origin gh-pages
+          git push origin gh-pages