Don't approve PRs

This commit is contained in:
Graham Christensen 2017-11-17 19:31:59 -05:00
parent 27868332b2
commit 4415552906
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C

View file

@ -52,6 +52,11 @@ function reply_to_issue($body, $output, $success, $system) {
$event = 'COMMENT'; $event = 'COMMENT';
} }
// With multiple archs, it is better to not approve at all, since
// another arch may come in later with a failure.
// - By request of Domen
$event = 'COMMENT';
$sha = $body->pr->head_sha; $sha = $body->pr->head_sha;
echo "On sha: $sha\n"; echo "On sha: $sha\n";
echo "Body:\n"; echo "Body:\n";