diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-24 10:51:56 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-24 13:19:55 +0200 |
| commit | 1fdb3a6deb95b9fe5a29399007e4eb374c12dbf6 (patch) | |
| tree | 6c93f5fce94ec23448d422d9c98b5863ca0dd7e3 /mod/mod-ci-github-gh.hxx | |
| parent | 6199917a8537a3c1f06ac6345d06a283c101fc6a (diff) | |
gh_pull_request: Extract {head,base}.repo.full_name
Was previously extracting {head,base}.label but that seems too vaguely defined
and transient in nature to be relied upon to fulle distinguish the head and
base repositories.
Diffstat (limited to 'mod/mod-ci-github-gh.hxx')
| -rw-r--r-- | mod/mod-ci-github-gh.hxx | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/mod/mod-ci-github-gh.hxx b/mod/mod-ci-github-gh.hxx index 2b77aeb..48564b0 100644 --- a/mod/mod-ci-github-gh.hxx +++ b/mod/mod-ci-github-gh.hxx @@ -81,14 +81,12 @@ namespace brep optional<bool> mergeable; string merge_commit_sha; - // @@ TODO Remove label if unused. - string base_label; // Name distinguishing the base from the head. - string base_ref; - string base_sha; - - // @@ TODO Remove label if unused. - string head_label; // Name distinguishing the head from the base. - string head_ref; + string base_fullname; + string base_ref; // @@ TODO Remove if remains unused. + string base_sha; // @@ TODO Remove if remains unused. + + string head_fullname; + string head_ref; // @@ TODO Remove if remains unused. string head_sha; explicit |