[enhancement]: Use GitHub merge queue

[psychedelicious]

Is there an existing issue for this?

• [X] I have searched the existing issues

Contact Details

No response

What should this feature add?

We should explore setting up a GitHub merge queue for main.

This lets PRs be "merged" and handled as one change, from the perspective of the CI workflows. The git history is unchanged; this only changes how CI workflows are run. Here's a video that explains it much more clearly than the docs: https://www.youtube.com/watch?v=XEZMgohmtts

Alternatives

No response

Additional Content

No response