Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

tshepang
Copy link
Member

@tshepang tshepang commented Sep 23, 2025

@BoxyUwU team lead
@davidtwco compiler team (parent) lead

Rendered

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

rustbot commented Sep 23, 2025

r? @Mark-Simulacrum

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

@tshepang tshepang force-pushed the tshepang/rdg-charter branch 2 times, most recently from 32deb7b to b38578c Compare September 23, 2025 20:20
@tshepang tshepang force-pushed the tshepang/rdg-charter branch from b38578c to cd746ca Compare September 24, 2025 03:19
Also, syncing with rust-lang/rust is not the most needful of responsibilities,
so place it last.
@tshepang tshepang force-pushed the tshepang/rdg-charter branch from 8a16efe to e2a5ee2 Compare September 24, 2025 03:21
Copy link
Member

@jieyouxu jieyouxu left a comment

Choose a reason for hiding this comment

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

Both WG co-lead + parent team co-lead is onboard, looks good to me as well. Thanks.

@jieyouxu jieyouxu merged commit 1ea1deb into master Sep 27, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 27, 2025
@jieyouxu jieyouxu deleted the tshepang/rdg-charter branch September 27, 2025 03:07
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.

6 participants