diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-04 11:53:16 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-11-04 11:53:16 +0200 |
| commit | 486fe4de562d88d15ee44febf2ebd12d6b0db492 (patch) | |
| tree | 36a2dc9bad7f52cf65162cc8b73437d52d8d50a4 /mod/mod-ci-github.cxx | |
| parent | 547ec84687f763ae645d3df6f2993d619add2fad (diff) | |
Minor tweaks
Diffstat (limited to 'mod/mod-ci-github.cxx')
| -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 |