Commit 7125f81
committed
ci: declare empty permissions for do-not-merge label check
This workflow only checks the PR's labels and exits 1 if 'do not merge' is
present. It does not check out the repo, install anything, or call any
GitHub API — permissions: {} (no scopes at all) is correct here.
Signed-off-by: Arpit Jain <arpitjain099@gmail.com>1 parent b8f14fe commit 7125f81
1 file changed
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| 15 | + | |
| 16 | + | |
15 | 17 | | |
16 | 18 | | |
17 | 19 | | |
| |||
0 commit comments