aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github-gq.hxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-06-04 14:29:27 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-12-10 16:34:15 +0200
commit4afea23ad12506fe817d350f858477341fb97e7b (patch)
tree9b9f404035c262cb524250339261ce2eb6cd7a67 /mod/mod-ci-github-gq.hxx
parentdd0fbb6e941bf77204c7172f2e1498d9d5d7a3b3 (diff)
Cancel and create new PR CI requests on base branch update
Also Update GraphQL API: - Fix GraphQL response parsing - Fetch repository pull requests with the specified base branch
Diffstat (limited to 'mod/mod-ci-github-gq.hxx')
-rw-r--r--mod/mod-ci-github-gq.hxx12
1 files changed, 12 insertions, 0 deletions
diff --git a/mod/mod-ci-github-gq.hxx b/mod/mod-ci-github-gq.hxx
index 9721b6e..439f7b7 100644
--- a/mod/mod-ci-github-gq.hxx
+++ b/mod/mod-ci-github-gq.hxx
@@ -116,6 +116,18 @@ namespace brep
gq_pull_request_mergeable (const basic_mark& error,
const string& installation_access_token,
const string& node_id);
+
+ // Fetch the last 100 open pull requests with the specified base branch from
+ // the repository with the specified node ID.
+ //
+ // Issue diagnostics and return nullopt if the repository was not found or
+ // an error occurred.
+ //
+ optional<vector<gh_pull_request>>
+ gq_fetch_open_pull_requests (const basic_mark& error,
+ const string& installation_access_token,
+ const string& repository_node_id,
+ const string& base_branch);
}
#endif // MOD_MOD_CI_GITHUB_GQ_HXX