Mergify Queues

[samspills]

Hey there @typelevel/maintainers!

You might have noticed that mergify has started leaving comments about merge queues on PRs in some repos. I did a quick audit and found that a few repos had the merge queue feature enabled in mergify, but did not have it configured for auto-merges in a .mergify.yaml. After asking around, I've disabled the merge queue feature for just those repos that didn't have it configured to reduce overall notification noise (if a repo has a merge queue configured, it should continue to work as it has been)

If anyone wants the merge queue re-enabled (or enabled for the first time), you can leave a comment here and I will re-check the merge queue checkbox!

If the merge queue is enabled in your repo and you find it helpful but ALSO find that these comments are annoying: according to the changelog, there is a queue_controls_comment flag that can be set in the config to disable them