aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github-gq.hxx
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-05-28 11:32:51 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-06-05 09:12:46 +0200
commit16f840d9ff5551b4b9577084f1587c524b05d2b0 (patch)
tree95241c3e6e4d8a96a5553db63063a00c8dee179d /mod/mod-ci-github-gq.hxx
parent0d5dc827745a0d80cf957863629f17282f82bb48 (diff)
Review
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
-rw-r--r--mod/mod-ci-github-gq.hxx14
1 files changed, 13 insertions, 1 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx
index 7a15b5e..3d697a9 100644
--- a/mod/mod-ci-github-gq.hxx
+++ b/mod/mod-ci-github-gq.hxx
@@ -96,7 +96,19 @@ namespace brep
string merge_commit_id;
};
- pair<optional<gq_pr_mergeability>, bool>
+
+ // Fetch a pull request's mergeability from GitHub. Return absent value if
+ // the merge commit is still being generated. Return empty string if the
+ // pull request is not auto-mergeable. Otherwise return the test merge
+ // commit id.
+ //
+ // Issue diagnostics and return absent if the request failed (which means it
+ // will be treated by the caller as still being generated).
+ //
+ // Note that the first request causes GitHub to start preparing the test
+ // merge commit.
+ //
+ optional<string>
gq_pull_request_mergeable (const basic_mark& error,
const string& installation_access_token,
const string& node_id);