aboutsummaryrefslogtreecommitdiff
path: root/mod
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-10-29 16:54:39 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-30 08:27:09 +0200
commit5d8102e5f507ffa55e2e1f98a3c36c8a74edc049 (patch)
treeb1852f670b2ce0ac79e85390cc119a6759f1704e /mod
parent579dd106919eff02e5faffccb0363bf2b87edad5 (diff)
Update comment
Diffstat (limited to 'mod')
-rw-r--r--mod/mod-ci-github-gh.hxx2
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;