github_merge: do not crash if PR is not tested (no status)