Tighten GITHUB_TOKEN permissions

Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>
2026-11-03 16:10:05 +00:00 · 2024-11-20 15:44:02 +00:00
parent 5cdcf44b6f
commit 03a1d89785
32 changed files with 69 additions and 10 deletions
@@ -3,6 +3,7 @@ on:
    pull_request_target:
        types: [review_requested]

+permissions: {} # Uses ELEMENT_BOT_TOKEN instead
 jobs:
    add_design_pr_to_project:
        name: Move PRs asking for design review to the design board