From 4defb4f3a79d3791fedfb864aa4953a763b1da80 Mon Sep 17 00:00:00 2001 From: "mergify[bot]" <37929162+mergify[bot]@users.noreply.github.com> Date: Tue, 14 Feb 2023 16:08:20 +0100 Subject: [PATCH] ci(.github): uses bot PAT instead of real user PAT (backport #6001) (#6023) ci(.github): uses bot PAT instead of real user PAT (#6001) Switches to using a PAT generated using a dedicated bot account instead of a real user PAT. Signed-off-by: Philipp Rudloff (cherry picked from commit fbe441b9823950ee730e2114f4f5d9037d5c1aff) Co-authored-by: Philipp Rudloff --- .github/workflows/pr-merged.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-merged.yaml b/.github/workflows/pr-merged.yaml index 3e1c55747e6c..942dc9ea823f 100644 --- a/.github/workflows/pr-merged.yaml +++ b/.github/workflows/pr-merged.yaml @@ -19,7 +19,7 @@ jobs: - name: "Send repository dispatch event" uses: actions/github-script@v5 with: - github-token: ${{ secrets.NOTIFY_GH_TOKEN }} + github-token: ${{ secrets.NOTIFY_BOT_PAT_TOKEN }} script: | let branch, pr; if (context.eventName == "pull_request_target") {