👷 Use PR Push commit identity (#2409)

This commit is contained in:
Sebastián Ramírez
2026-08-08 23:23:30 +02:00
committed by GitHub
parent e5cdc73405
commit 34378100a8
+2 -2
View File
@@ -80,8 +80,8 @@ jobs:
env: env:
PR_PUSH_TOKEN: ${{ steps.pr-push.outputs.token }} PR_PUSH_TOKEN: ${{ steps.pr-push.outputs.token }}
run: | run: |
git config user.name "github-actions[bot]" git config user.name "pr-push[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com" 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 remote set-url origin "https://x-access-token:${PR_PUSH_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
git add -A git add -A
if git diff --staged --quiet; then if git diff --staged --quiet; then