chore(.github/workflows/merge_conflicts.yaml): use separate token (#1…

…3884) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
leanprover-community · May 2, 2022 · 384a7a3 · 384a7a3
1 parent ad2e936
commit 384a7a3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/merge_conflicts.yml b/.github/workflows/merge_conflicts.yml
@@ -17,4 +17,4 @@ jobs:
         uses: eps1lon/actions-label-merge-conflict@releases/2.x
         with:
           dirtyLabel: "merge-conflict"
-          repoToken: "${{ secrets.TRIAGE_TOKEN }}"
+          repoToken: "${{ secrets.MERGE_CONFLICTS_TOKEN }}"