At the infra team we just removed homu/bors (our custom merge queue system) from all rust-lang repositories except rust. All these repositories now use GitHub merge queues, which are more reliable and better integrated in GitHub, hopefully resulting in a better Dev experience 🥳

4 likes 1 replies