Browse Source

👷 Use GitHub CLI for Git authentication (#16166)

pull/16167/head
Sebastián Ramírez 1 week ago
committed by GitHub
parent
commit
da2f094327
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 4
      .github/workflows/pre-commit.yml

4
.github/workflows/pre-commit.yml

@ -72,11 +72,11 @@ jobs:
- name: Commit and push changes - name: Commit and push changes
if: env.CAN_PUSH == 'true' && steps.changes.outputs.changed == 'true' if: env.CAN_PUSH == 'true' && steps.changes.outputs.changed == 'true'
env: env:
PR_PUSH_TOKEN: ${{ steps.pr-push.outputs.token }} GH_TOKEN: ${{ steps.pr-push.outputs.token }}
run: | run: |
git config user.name "pr-push[bot]" git config user.name "pr-push[bot]"
git config user.email "pr-push[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" gh auth setup-git
git add -A git add -A
if git diff --staged --quiet; then if git diff --staged --quiet; then
echo "No changes to commit" echo "No changes to commit"

Loading…
Cancel
Save