Migrate away from bors-ng

[Emilgardis]

Bors-NG is now deprecated, see https://bors.tech/newsletter/2023/05/01/tmib-76/

We have two options as specified in the post.

1. Use a self-hosted instance of Bors-NG
2. Use built-in github merge queues

[Emilgardis]

For option 2, merge queues, we should find a way to do what bors try --args does. I imagine we can use issue_comment to solve this.

[Emilgardis]

bors is dead now, this means we have to switch over

for now, I'll disable the check. We'll have to look into bors try, but I think normal queue will work fine with pull-request.