diff options
Diffstat (limited to 'mod')
| -rw-r--r-- | mod/mod-ci-github.cxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index 30f7a53..e7dd7b5 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -809,8 +809,8 @@ namespace brep } else { - // Create the CI tenant. - + // Create the CI tenant by reusing the pre-check service data. + // sd.pre_check = false; // Set the service data's check_sha if this is a remote PR. The test |