ci: fix author identity unknown error

Bot account details from actions/checkout#13 (comment)
cvn · Oct 31, 2023 · 481d75c · 481d75c
1 parent 77f38cd
commit 481d75c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/update-docset.yml b/.github/workflows/update-docset.yml
@@ -43,6 +43,8 @@ jobs:
             - name: Commit changes
               run: |
                 cd Dash-User-Contributions
+                git config user.name "github-actions[bot]"
+                git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
                 git add --all .
                 git commit -m "Update TLDR pages docset to $new_version"
                 git push