I think it's much cleverer about the order in which it tries to merge PRs, and how they are grouped.

GitHub merge queues just do it in the order you click.

Also I'm pretty sure it predates GitHub's implementation by a fair bit. Uber were one of the first people to do this. Maybe the first IIRC.