Under the merge queue settings, there should be an “Allow bypass” option that lets us select which users or groups can bypass merge queues during PR merges. Currently, only admins are allowed to do so; this is not ideal as:

Repo admin is just too all-encompassing. Our level of trust in giving someone bypass permissions is very different from our level of trust in giving someone repo admin.

Sometimes developers open and work on pull requests, but other operators merge them to apply the change.

Just like branch permissions, merge queue permissions should allow more customization.