Hi,
Just a quick note for the maintainers/committers of the scala/scala repo: we’ve enabled the auto-merge support that GitHub has. This comes in handy for those moments when your PR is approved but you need to make a straightforward change before it’s merge (e.g. rebase to get a fresh CI status, resolve mima filter conflicts or squash commits).
Have a look at https://docs.github.com/en/github/administering-a-repository/managing-auto-merge-for-pull-requests-in-your-repository to see how it’s not automatic on all pull requests and how both CI status and requested reviews are blockers from it triggering.
Any questions, comments or concerns, let us know.
Dale