rust-embedded / riscv

Low level access to RISC-V processors

822 stars 160 forks source link

Replace bors with GitHub merge queues #133

Closed romancardenas closed 1 year ago

romancardenas commented 1 year ago

As mentioned in the WG repository, bors is about to stop working. The embedded WG suggested migrating to GitHub merge queues, and this repo could be an excellent candidate to test how this works.

132 already updates the current CI workflows and is ready to support merge queues. However, we still need to activate the branch protection rule on the repo and, if everything goes well, remove bors. @rust-embedded/riscv are you OK with this?

romancardenas commented 1 year ago

Right now, my PR should work for both bors and merge-queue

almindor commented 1 year ago

merged + ticked the queue in settings