Skip to content

Conversation

@nyurik
Copy link
Contributor

@nyurik nyurik commented Feb 7, 2026

This noop PR makes the new comma-removing lint PR less noisy, allowing it focus only on the new functionality

See #16530

changelog: none

This PR makes the new comma-removing lint PR less noisy, allowing it focus only on the new functionality
@rustbot
Copy link
Collaborator

rustbot commented Feb 7, 2026

Some changes occurred in clippy_lints/src/doc

cc @notriddle

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Feb 7, 2026
@rustbot
Copy link
Collaborator

rustbot commented Feb 7, 2026

r? @samueltardieu

rustbot has assigned @samueltardieu.
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

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: 7 candidates
  • 7 candidates expanded to 7 candidates
  • Random selection from Jarcho, dswij, llogiq, samueltardieu

@samueltardieu samueltardieu added this pull request to the merge queue Feb 9, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 9, 2026
@nyurik
Copy link
Contributor Author

nyurik commented Feb 9, 2026

@samueltardieu merge queue failed without any error logs?

@samueltardieu
Copy link
Member

@samueltardieu merge queue failed without any error logs?

Yes, github was having a bad time.

@samueltardieu samueltardieu added this pull request to the merge queue Feb 9, 2026
Merged via the queue into rust-lang:master with commit 7eec730 Feb 9, 2026
11 of 13 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Feb 9, 2026
@nyurik nyurik deleted the fix-extra-commas branch February 9, 2026 21:34
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.

3 participants