Switch cargo from bors to merge-queue

rust-lang / team

Rust teams structure

Apache License 2.0

312 stars 287 forks source link

Switch cargo from bors to merge-queue #1590

Closed Kobzol closed 1 week ago

Kobzol commented 3 weeks ago

Accompanying PR: https://github.com/rust-lang/cargo/pull/14718

Merge should be synchronized with an infra-admin switching the repo to merge queues!

ehuss commented 1 week ago

The cargo team discussed switching, and agreed we would like to try it out. I just have a minor caveat above, and then I think we should be good to go.

Kobzol commented 1 week ago

We should have ideally someone from the Cargo team online for performing the switch (and we also need an infra-admin). If you're willing to help, @ehuss, let me and @MarcoIeni and we can coordinate the time.

ehuss commented 1 week ago

I should be around tomorrow (Friday) if you want.

MarcoIeni commented 1 week ago

I'm on a train for RustLab but it works for me. I'll be available in 4 hours from now for 7 hours (10.30 to 17.30 cet).

EDIT: this PR LGTM. I'll approve and merge when we do the migration.