chore(.github/workflows): use separate secret token for dependent iss…

…ues (#13902) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
leanprover-community · May 3, 2022 · 65cad41 · 65cad41
1 parent 1c39267
commit 65cad41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/dependent-issues.yml b/.github/workflows/dependent-issues.yml
@@ -32,7 +32,7 @@ jobs:
       - uses: z0al/dependent-issues@v1
         env:
           # (Required) The token to use to make API calls to GitHub.
-          GITHUB_TOKEN: ${{ secrets.TRIAGE_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.DEPENDENT_ISSUES_TOKEN }}
         with:
           # (Optional) The label to use to mark dependent issues
           label: blocked-by-other-PR