diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-10-24 13:55:07 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-10-24 13:55:07 +0200 |
commit | 7728e2469fdf49307231d57a9fc5a2cf60aa535a (patch) | |
tree | 3ad3af847ed6cb61d88e3723b136b6ceef81253e /mod/mod-ci-github-gh.hxx | |
parent | a5fab430e168c25bea0bb6a5a00dbd4c6bf0e938 (diff) |
Review
Diffstat (limited to 'mod/mod-ci-github-gh.hxx')
-rw-r--r-- | mod/mod-ci-github-gh.hxx | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/mod/mod-ci-github-gh.hxx b/mod/mod-ci-github-gh.hxx index 48564b0..001353d 100644 --- a/mod/mod-ci-github-gh.hxx +++ b/mod/mod-ci-github-gh.hxx @@ -21,6 +21,8 @@ namespace butl namespace brep { + // @@@ Check if any data members are unused (once the dust settles). + using build_queued_hints = tenant_service_build_queued::build_queued_hints; // GitHub request/response types (all start with gh_). @@ -81,11 +83,11 @@ namespace brep optional<bool> mergeable; string merge_commit_sha; - string base_fullname; - string base_ref; // @@ TODO Remove if remains unused. - string base_sha; // @@ TODO Remove if remains unused. + string base_path; // Repository path (<org>/<repo>) under github.com. + string base_ref; // @@ TODO Remove if remains unused. + string base_sha; // @@ TODO Remove if remains unused. - string head_fullname; + string head_path; string head_ref; // @@ TODO Remove if remains unused. string head_sha; |