Closed carols10cents closed 2 months ago
@rfcbot fcp merge
As there haven't been any objections or other discussion, I'm proposing to merge this!
Team member @carols10cents has proposed to merge this. The next step is review by the rest of the tagged team members:
No concerns currently listed.
Once a majority of reviewers approve (and at most 2 approvals are outstanding), this will enter its final comment period. If you spot a major issue that hasn't been raised at any point in this process, please speak up!
See this document for info about what commands tagged team members can give me.
Although I don't think there will be any objections, I would like to also have a clear approval from the devtools team as well. We don't have a formal process for adding teams, but I think just making checkboxes here should suffice. I'm checking @Manishearth's box since there is already an approval above.
:bell: This is now entering its final comment period, as per the review above. :bell:
The final comment period, with a disposition to merge, as per the review above, is now complete.
As the automated representative of the governance process, I would like to thank the author for their work and everyone else who contributed.
This will be merged soon.
Thanks everyone! The @rust-lang/leadership-council has decided to accept this RFC.
@carols10cents can you follow up with updating the team repo whenever you have a chance? It should look something like https://github.com/rust-lang/team/pull/1228. I can help if needed.
@carols10cents can you follow up with updating the team repo whenever you have a chance? It should look something like rust-lang/team#1228. I can help if needed.
This RFC proposes moving the Crates.io Team under the Dev Tools Team. This change has very little impact outside of the removal of the Crates.io Council representative. Crates.io Team interests will be represented by the Dev Tools team representative.
Rendered