Fix: Need to set git config

Author: alexdewar

.github/workflows/deploy-docs.yml

@@ -26,6 +26,11 @@ jobs:
         uses: actions/checkout@v6
         with:
           fetch-tags: true
+      - name: Set user name and email for git
+        run: |
+          # Needed so we can apply patches
+          git config --global user.name "GitHub Actions"
+          git config --global user.email "github-actions[bot]@users.noreply.github.com"
       - uses: ./.github/actions/generate-docs
         with:
           build: all_with_old