Pull requests are mergeable only if all automated tests pass

[edmondchuc]

Soon there will be automated GitHub Actions that will run validation tests on every change within a PR. PRs should only be mergeable if all tests are passing and reviewed and approved by someone else other than the original author of the PR.