diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-10-30 09:50:07 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-10-30 09:50:07 +0200 |
| commit | 1d949edb07a0f48d3ecc1463fab826f08ab96216 (patch) | |
| tree | 195afbd0fcf2ad920c19a20b828933808c12f893 /mod/mod-ci-github-service-data.hxx | |
| parent | fcdcaa9f3fab747fb11572d279dbf31235e2c694 (diff) | |
Review
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
| -rw-r--r-- | mod/mod-ci-github-service-data.hxx | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 27d4791..c321edc 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -92,14 +92,13 @@ namespace brep string repository_node_id; // GitHub-internal opaque repository id. - string event_node_id; // check_suite/pull_request node id. - // The following two are only used for pull requests. // // @@ TODO/LATER: maybe put them in a struct? // - optional<string> repository_clone_url; + optional<string> pr_node_id; optional<uint32_t> pr_number; + optional<string> pr_repository_clone_url; // The GitHub ID of the synthetic PR merge check run or absent if it // hasn't been created yet. |