Switch clippy from bors to merge-queue

rust-lang / team

Rust teams structure

Apache License 2.0

312 stars 287 forks source link

Switch clippy from bors to merge-queue #1589

Closed Kobzol closed 3 weeks ago

Kobzol commented 3 weeks ago

Accompanying PR: https://github.com/rust-lang/rust-clippy/pull/13587

rylev commented 3 weeks ago

Actually, did we need the clippy PR to land first before merging this?

Kobzol commented 3 weeks ago

This shouldn't have been merged yet, I did not mark it as a draft, sorry, my bad! Yes, we need to coordinate the switch with the other PR and manual changes to the repo.

Kobzol commented 3 weeks ago

https://github.com/rust-lang/team/pull/1591