fix git username

DetachHead · Sep 30, 2024 · f76ecdd · f76ecdd
1 parent 27162a2
commit f76ecdd
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -31,8 +31,10 @@ jobs:
         id: install_python
         with:
           python-version: 3.12
-      - name: Setup Pages
-        uses: actions/configure-pages@v4
+      - name: Configure Git user
+        run: |
+          git config --local user.email "github-actions[bot]@users.noreply.github.com"
+          git config --local user.name "github-actions[bot]"
       - name: install dependencies
         run: ./pw pdm install --no-self
       - name: validate docs