Skip to content

ci: don't remind on prs from admins, etc.#13965

Open
sayakpaul wants to merge 1 commit into
mainfrom
dont-remind-collaborators
Open

ci: don't remind on prs from admins, etc.#13965
sayakpaul wants to merge 1 commit into
mainfrom
dont-remind-collaborators

Conversation

@sayakpaul

Copy link
Copy Markdown
Member

What does this PR do?

We shouldn't remind maintainers, collaborators, and folks with write access. Otherwise, this becomes annoying.

@sayakpaul sayakpaul requested a review from yiyixuxu June 15, 2026 10:27
@github-actions github-actions Bot added size/S PR with diff < 50 LOC CI labels Jun 15, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Hi @sayakpaul, thanks for the PR! It does not appear to link an issue it fixes. If this PR addresses an existing issue, please add a closing keyword (e.g. Fixes #1234) to the PR description so the issue is linked. See the contribution guide for more details. If this PR intentionally does not fix a tracked issue, a maintainer can add the no-issue-needed label to silence this reminder.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI size/S PR with diff < 50 LOC

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant