Skip to content

ci: declare empty permissions for do-not-merge label check#3042

Open
arpitjain099 wants to merge 2 commits into
google:masterfrom
arpitjain099:ci/add-permissions
Open

ci: declare empty permissions for do-not-merge label check#3042
arpitjain099 wants to merge 2 commits into
google:masterfrom
arpitjain099:ci/add-permissions

Conversation

@arpitjain099
Copy link
Copy Markdown

@arpitjain099 arpitjain099 commented May 13, 2026

The Check labels workflow only reads github.event.pull_request.labels.*.name and exits 1 if do not merge is present. It does not check out the repo, install anything, or call any GitHub API. permissions: {} (deny all scopes) is the right default for this case.

YAML parses cleanly.


This change is Reviewable

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>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant