Skip to content

Conversation

Noratrieb
Copy link
Member

When a subject matter expert writes some docs, there's no point in blocking them. They should just merge their stuff, we can always fix it later. If someone does want a review for their PR, they can always get it still.

discussed this with @BoxyUwU and @jieyouxu, @rust-lang/wg-rustc-dev-guide

When a subject matter expert writes some docs, there's no point in blocking them. They should just merge their stuff, we can always fix it later.
If someone does want a review for their PR, they can always get it still.
@rylev rylev merged commit d780219 into rust-lang:master Nov 4, 2024
1 check passed
@Noratrieb Noratrieb deleted the patch-1 branch November 4, 2024 09:45
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.

2 participants