Skip to content

Ping notriddle when a clippy lint in clippy_lints/doc is modified #15147

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 26, 2025

Conversation

samueltardieu
Copy link
Contributor

Related to this Zulip thread.

@notriddle Would you want that?

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Jun 26, 2025

r? @flip1995

rustbot has assigned @flip1995.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jun 26, 2025
@flip1995
Copy link
Member

Oh that's a nice idea and thanks for wanting to keeping an eye on that @notriddle

r=me if they approve.

@notriddle
Copy link
Contributor

Yes, that sounds perfect.

@flip1995 flip1995 added this pull request to the merge queue Jun 26, 2025
Merged via the queue into rust-lang:master with commit cd15aeb Jun 26, 2025
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants