diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-29 16:54:26 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-10 16:34:15 +0200 |
| commit | e4447a19e8a58c16a9c31d13c5ed2c26b30a3550 (patch) | |
| tree | 2b540df614c8a1ea7aa80c296df6129ffa7cf4ad /mod/mod-ci-github-gh.hxx | |
| parent | 554d116a7b49eba5dd64ceb61b2f3b922f21c100 (diff) | |
Implement build_unloaded_pre_check() and build_unloaded_load()
Diffstat (limited to 'mod/mod-ci-github-gh.hxx')
| -rw-r--r-- | mod/mod-ci-github-gh.hxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mod/mod-ci-github-gh.hxx b/mod/mod-ci-github-gh.hxx index 58714be..281d765 100644 --- a/mod/mod-ci-github-gh.hxx +++ b/mod/mod-ci-github-gh.hxx @@ -80,6 +80,8 @@ namespace brep // the merge commit. If false then `merge_commit_sha` is either empty or // no longer valid. // + // @@ TODO These appear to be unused. + // optional<bool> mergeable; string merge_commit_sha; |