rust-lang / team

Rust teams structure
Apache License 2.0
312 stars 287 forks source link

Switch clippy from bors to merge queue #1592

Closed Kobzol closed 1 week ago

Kobzol commented 3 weeks ago

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

I forgot to mark https://github.com/rust-lang/team/pull/1589 as a draft, so it was accidentally merged (and later reverted in https://github.com/rust-lang/team/pull/1591). This should not be merged until we configure the clippy repo properly.