Auto-merge a PR after it is marked ready-for-review, if the change is small, non-disruptive, and all checks pass.
