From 5d89c20a2b1469cf396bdb226e719f5009c4fcab Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 17 Dec 2024 15:08:22 +0200 Subject: Review --- mod/mod-ci-github.cxx | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'mod/mod-ci-github.cxx') diff --git a/mod/mod-ci-github.cxx b/mod/mod-ci-github.cxx index ac98785..8f796af 100644 --- a/mod/mod-ci-github.cxx +++ b/mod/mod-ci-github.cxx @@ -1435,7 +1435,7 @@ namespace brep : ""); // Note that PR rebuilds (re-requested) are handled by - // handle_check_suite_request(). + // handle_check_suite_rerequest(). // // Note that, in the case of a remote PR, GitHub will copy the PR head // commit from the head (forked) repository into the base repository. So @@ -1462,7 +1462,7 @@ namespace brep // Create with an empty service id so that the generated tenant id is used // instead during the pre-check phase (so as not to clash with a proper // service id for this head commit, potentially created in - // handle_check_suite() or as another PR). + // handle_branch_push() or as another PR). // tenant_service ts ("", "ci-github", sd.json ()); @@ -1502,7 +1502,7 @@ namespace brep // if (ps.forced || ps.deleted) { - // The common log entry subject. + // The common log entry subject. @@ Move inline. // string sub (ps.forced ? "forced push " + ps.after + " to " + ps.ref : "deletion of " + ps.ref); @@ -1581,8 +1581,9 @@ namespace brep ps.after /* report_sha */); // Create an unloaded CI tenant, doing nothing if one already exists - // (which could've been created by handle_pull_request()). Note that the - // tenant's reference count is incremented in all cases. + // (which could've been created by handle_pull_request() or by us as as + // result of a push to another branch). Note that the tenant's reference + // count is incremented in all cases. // // Note: use no delay since we need to (re)create the synthetic conclusion // check run as soon as possible. -- cgit v1.1