Consider using merge queues for merging pull requests

[mj-will]

A merge queue would allow us to add pull requests to the queue and, if I've understood correctly, handle automatically rebasing the branch before merging it. I think this would avoid us having to manually rebase branches before merging and overall make the process smoother.

Changes

I think this would require two changes

• A change to the branch protection rule for main to enable the queues
• The addition of an additional trigger condition to the CI, see here

[ColmTalbot]

Sounds good to me

[mj-will]

Sounds good to me

Great, maybe we can look into this once we have the next release out.