Try fixing GitHub auth

.github/workflows/docs.yml

@@ -18,6 +18,10 @@ jobs:
   docs:
     name: Docs
     runs-on: "ubuntu-latest"
+    permissions:
+      # Give the default GITHUB_TOKEN write permission to commit and push the
+      # added or changed files to the repository.
+      contents: write
     steps:
       - name: Checkout repo
         uses: actions/checkout@v3
@@ -38,6 +42,11 @@ jobs:
             conda list
             pip freeze
 
+      - name: Setup Git user
+        run: |
+            git config --global user.name "GitHub Actions"
+            git config --global user.email "actions@github.com"
+
       - name: Build and upload docs (release)
         if: ${{ github.event_name == 'release' && github.event.action == 'published' }}
         shell: bash -l {0}