[enhancement]: Use GitHub merge queue

### 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](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-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_