We should be checking the mergeability of PRs on GitHub Actions and give the PR authors a hint on whether the PR needs another merge PR for merging into master.