Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

r? rustc-dev-guide

you don't need reviews for small stuff like this.

oh i see you're not in the org—@rust-lang/wg-rustc-dev-guide any objection to adding ali to the team so they can get merge rights?

Thanks @jyn514 I am very happy about this.

@jyn514 I think we would want to see some sustained contributions before we move there... often it happens people contribute for a bit then leave, otherwise we will have lots of churn in team membership (where some members do not even respond to questions of if they want to continue being in the team). To be clear, this is not a blocking concern (I would not want to gatekeep), so maybe others can decide that the churn is not something to be concerned about. Also, we don't have a charter I know of (I should actually just ask/search how others were accepted into the team), and we probably must create one, to avoid the ad-hoc.

Thanks for the guidance and continued support. I’ll keep contributing and hope to live up to your expectations.