aboutsummaryrefslogtreecommitdiff
path: root/mod/mod-ci-github-service-data.hxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-10-22 09:23:22 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-12-10 16:34:15 +0200
commite88b543de45ab066027278a03b5ce283813f1ad4 (patch)
tree68fe031b4e5ba68e5164005395ae2ecba709164a /mod/mod-ci-github-service-data.hxx
parent1105538dd56dbb1b261d8b0ce8652f1dd719eaee (diff)
handle_check_suite_request(): create unloaded CI request
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
-rw-r--r--mod/mod-ci-github-service-data.hxx3
1 files changed, 2 insertions, 1 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx
index 89fcaab..462e7f7 100644
--- a/mod/mod-ci-github-service-data.hxx
+++ b/mod/mod-ci-github-service-data.hxx
@@ -134,7 +134,8 @@ namespace brep
timestamp iat_expires_at,
uint64_t installation_id,
string repository_node_id,
- string report_sha);
+ string report_sha,
+ bool re_request);
// The pull_request constructor.
//