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-10-15 09:05:28 +0200
commit38331d787cf559a2ce9d6d2b3b2c920c2225c98c (patch)
tree58bf169f8224c25a8ce42f4fe3b4cc032cb21d3f /mod/mod-ci-github-gq.hxx
parentf2422282b42dedb87988dd9e86ce7bac1ecccd95 (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);