Should we try Github auto-merge feature?

[rma-rripken]

Github has a feature where you can set a PR to auto-merge once all the gates have passed. For us that would mean passing review and building and unit-test. Each developer would have to choose to make their PR auto-merge, its not all PR. But I'm not entirely sure why you wouldn't. I guess if you wanted PR to be merged in a particular order you wouldn't enable the feature.
I've already seen some PR go from approval to merged in under 5 seconds when the submitter and reviewer both have the PR open. Its sort of like that except its software waiting for that delicious green merge pull request button to show up.

https://github.blog/changelog/2021-02-04-pull-request-auto-merge-is-now-generally-available/

First project admin has to enable auto-merge feature. Then developers can choose to use it on each of their PR.