In general, pull requests need to (1) merge, (2) compile, (3) not introduce any new unwarranted warnings, (4) pass all tests (using make check)