Skip to content

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

Merged
sayakpaul merged 5 commits into
mainfrom
dont-remind-collaborators
Jun 18, 2026
Merged

ci: don't remind on prs from admins, etc.#13965
sayakpaul merged 5 commits 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.

@yiyixuxu yiyixuxu left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks

@sayakpaul sayakpaul merged commit 9a72cd3 into main Jun 18, 2026
15 of 16 checks passed
@sayakpaul sayakpaul deleted the dont-remind-collaborators branch June 18, 2026 08:23
@tarekziade

Copy link
Copy Markdown
Contributor

@askserge review this

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.

3 participants