Closed xFrednet closed 3 months ago
This PR adds the new Clippy-Contributors team which has been proposed in rust-lang/rust-clippy#12481 and was accepted on Zulip yesterday! :tada:
As part of this PR, I also want to welcome the four initial heroes, who will start be part of this team:
Thank you, for all the work you already put into Clippy. We're happy to have you! :heart:
cc: rust-lang/clippy
r? @flip1995 & @Manishearth
I'll wait until the RFC is officially merged before merging this. Ping me if I forget!
Hey @rylev, we just merged the RFC. Can you merge this as well to make the team official? :D
This PR adds the new Clippy-Contributors team which has been proposed in rust-lang/rust-clippy#12481 and was accepted on Zulip yesterday! :tada:
As part of this PR, I also want to welcome the four initial heroes, who will start be part of this team:
Thank you, for all the work you already put into Clippy. We're happy to have you! :heart:
cc: rust-lang/clippy
r? @flip1995 & @Manishearth