GitHub – "Pull Request Merge Queue Limited Beta"

Stream: general

[Chris Wong]

Looks like GitHub is building its own version of Bors:
https://github.blog/changelog/2021-10-27-pull-request-merge-queue-limited-beta/
Do we want to give it a go?

[Eric Wieser]

Nice find! I've requested to join the waitlist, since it doesn't obligate us to actually use it

[Gabriel Ebner]

The commit messages are probably not as nice as the once we get with bros.

[Gabriel Ebner]

And we'd need to reimplement d+.

[Yury G. Kudryashov]

It seems that they don't squash commits in PRs.