Currently the main branch is protected so that PR's can only be merged if they pass the continuous integration test suite. Unfortunately that appears to have stopped working :( Until someone gets around to fixing the CI, I think we should disable the write protection. Instead PR's should be tested by two people: the author and the admin who merges it.