diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-29 16:54:39 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-30 08:27:09 +0200 |
| commit | 5d8102e5f507ffa55e2e1f98a3c36c8a74edc049 (patch) | |
| tree | b1852f670b2ce0ac79e85390cc119a6759f1704e /mod/mod-ci-github-gh.hxx | |
| parent | 579dd106919eff02e5faffccb0363bf2b87edad5 (diff) | |
Update comment
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; |