From 14c07273e6e9675697175a9e97326cf9559d73fa Mon Sep 17 00:00:00 2001 From: Francesco Novy Date: Mon, 7 Oct 2024 12:54:02 +0200 Subject: [PATCH] ci: Use PAT for external contributor PR --- .github/workflows/external-contributors.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/external-contributors.yml b/.github/workflows/external-contributors.yml index e01a1a66a589..733f6db7e11a 100644 --- a/.github/workflows/external-contributors.yml +++ b/.github/workflows/external-contributors.yml @@ -38,6 +38,9 @@ jobs: - name: Create PR with changes uses: peter-evans/create-pull-request@c5a7806660adbe173f04e3e038b0ccdcd758773c with: + # This token is scoped to Daniel Griesser + # If we used the default GITHUB_TOKEN, the resulting PR would not trigger CI :( + token: ${{ secrets.REPO_SCOPED_TOKEN }} commit-message: "ref: Add external contributor to CHANGELOG.md" title: "ref: Add external contributor to CHANGELOG.md" branch: 'external-contributor/patch-${{ github.event.pull_request.user.login }}'