We should mention that passing tests and 100% line/branch coverage in the coverage report is necessary before a pull request can be merged.