.github: Use ASTERISKTEAM_PAT for PR merging

(cherry picked from commit a9b74ffa52e612db89922ddf63df82a63373aa90)

diff --git a/.github/workflows/OnPRMergeApproved.yml b/.github/workflows/OnPRMergeApproved.yml
index 6c55e0d154f692c3262938b7a74400a403c9fd9d..bd5eb02faf80f7d63a361cccd4bd86a5ef48ea3d 100644 (file)
--- a/.github/workflows/OnPRMergeApproved.yml
+++ b/.github/workflows/OnPRMergeApproved.yml
@@ -13,5 +13,7 @@ jobs:
     name: MergePR
     if: contains(fromJSON(vars.MERGE_APPROVED_LABELS), github.event.label.name)
     uses: asterisk/asterisk-ci-actions/.github/workflows/AsteriskMergePR.yml@main
+# Merging requires a specific token or it'll get caught in the rules that
+# prevent merges by mortals.
     secrets:
-      TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      TOKEN: ${{ secrets.ASTERISKTEAM_PAT }}