👷 Use PR Push commit identity (#2069)

diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
index 44272cc8cd13a15ce06b28e65ee7d40ec2566520..68cdd9c5e44b89bef2810cb2a321c4de1dce927b 100644 (file)
--- a/.github/workflows/pre-commit.yml
+++ b/.github/workflows/pre-commit.yml
@@ -74,8 +74,8 @@ jobs:
         env:
           PR_PUSH_TOKEN: ${{ steps.pr-push.outputs.token }}
         run: |
-          git config user.name "github-actions[bot]"
-          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git config user.name "pr-push[bot]"
+          git config user.email "pr-push[bot]@users.noreply.github.com"
           git remote set-url origin "https://x-access-token:${PR_PUSH_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
           git add -A
           if git diff --staged --quiet; then