diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-22 09:23:22 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-10 16:34:15 +0200 |
commit | e88b543de45ab066027278a03b5ce283813f1ad4 (patch) | |
tree | 68fe031b4e5ba68e5164005395ae2ecba709164a /mod/mod-ci-github-service-data.hxx | |
parent | 1105538dd56dbb1b261d8b0ce8652f1dd719eaee (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.hxx | 3 |
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. // |