diff options
Diffstat (limited to 'mod/mod-ci-github.cxx')
| -rw-r--r-- | mod/mod-ci-github.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 035d81b..30f7a53 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -811,6 +811,8 @@ namespace brep { // Create the CI tenant. + sd.pre_check = false; + // Set the service data's check_sha if this is a remote PR. The test // merge commit refs are located at refs/pull/<PR-number>/merge. // |