Skip to content

Conversation

@xtqqczze
Copy link
Contributor

@xtqqczze xtqqczze commented Jan 5, 2026

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

rustbot commented Jan 5, 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

@samueltardieu
Copy link
Member

r? @flip1995

@rustbot rustbot assigned flip1995 and unassigned samueltardieu Jan 6, 2026
@blyxyas
Copy link
Member

blyxyas commented Jan 6, 2026

Is there any change of meaning between Developers and Contributors?

@samueltardieu
Copy link
Member

Is there any change of meaning between Developers and Contributors?

I had the same question, that's why I reassigned Philipp for his better judgment.

@xtqqczze
Copy link
Contributor Author

xtqqczze commented Jan 6, 2026

Let's use "Developers" for this PR as it is the more common wording in rust-lang/rust repo:

rust-lang/rust % rg -o 'The Rust Project Developers' | wc -l
      62
rust-lang/rust % rg -o 'The Rust Project Contributors' | wc -l
       2

@xtqqczze
Copy link
Contributor Author

xtqqczze commented Jan 6, 2026

Copy link
Member

@flip1995 flip1995 left a comment

Choose a reason for hiding this comment

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

@flip1995 flip1995 added this pull request to the merge queue Jan 7, 2026
Merged via the queue into rust-lang:master with commit 3e80a8c Jan 7, 2026
11 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jan 7, 2026
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.

5 participants