Use Github's Merge Queue?

[kt86]

Hi to all,

since the active contributing community grows, and we have a lot of PRs coming from Dependabot, I would like to ask whether GitHub's "Merge Queue" would be something that is useful for us or not.
This would allow, to add "Ready-to-merge"-PRs to that queue and then, they get automatically updated and merged. This avoids this annoying "Update branch"-race, wait until green and (auto)-merge race, we have from time to time (Just remember @rakow on the way back from Lund....).

Here some more information: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/merging-a-pull-request-with-a-merge-queue and https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue

As far as I see, it is only a few clicks in the settings and one additional line on the GH-Actions config away.
Or do I miss any cons?

[kainagel]

I am always using the automatic merge and it is working without problems. (I.e. it updates my PR, runs tests, tries to merge it, but if it fails because some other PR got in the way updates again, runs tests again, etc.). Do you maybe not have permission for the automatic merge?