Skip to content

Autolabel PR touching declared_lints.rs with needs-fcp #15859

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Oct 10, 2025
Merged

Autolabel PR touching declared_lints.rs with needs-fcp #15859

merged 1 commit into from
Oct 10, 2025

Conversation

samueltardieu
Copy link
Member

changelog: none

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 10, 2025
@rustbot
Copy link
Collaborator

rustbot commented Oct 10, 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

@samueltardieu
Copy link
Member Author

This was suggested a while ago by @flip1995 and @Jarcho. The needs-fcp label needs to be created prior to merging this PR.

flip1995
flip1995 approved these changes Oct 10, 2025
View reviewed changes
Copy link
Member

@flip1995 flip1995 left a comment •
edited by rustbot
Loading

Choose a reason for hiding this comment

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

(Only on mobile) SGTM. Please go ahead, create the label and then merge the PR.

View changes since this review

@samueltardieu samueltardieu added this pull request to the merge queue Oct 10, 2025
Merged via the queue into rust-lang:master with commit 70d5c8c Oct 10, 2025
11 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 10, 2025
@samueltardieu samueltardieu deleted the repo/needs-fcp-autolabel branch October 11, 2025 07:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@flip1995 flip1995 flip1995 approved these changes

Assignees

@flip1995 flip1995

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@samueltardieu @rustbot @flip1995