diff options
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; |