Fix git config for comitting

tmadlener · Dec 20, 2023 · 5bc999e · 5bc999e
1 parent 70626f5
commit 5bc999e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -63,8 +63,8 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
-          git config --global user.email ${{ github.actor.user.login }}@github.com
-          git config --global user.name ${{ github.actor.user.login }}
+          git config --global user.email ${GITHUB_ACTOR_ID}+${GITHUB_ACTOR}@users.noreply.github.com
+          git config --global user.name ${GITHUB_ACTOR}
           git add master
           git diff-index --quiet HEAD 2>&1 > /dev/null || git commit -m "Update latest documentation" && git push