aboutsummaryrefslogtreecommitdiff
path: root/mod/module.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-02-26 11:21:18 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-15 09:05:27 +0200
commit957dc92c10f25b82099b6e9e11c1dd8273728626 (patch)
tree788de41fcc65fe7ebaf711d98f70d327b42c0d9a /mod/module.cli
parentc8b9b0143d60dfcbf1a142b8e248d2581373efb5 (diff)
Review
Diffstat (limited to 'mod/module.cli')
-rw-r--r--mod/module.cli6
1 files changed, 3 insertions, 3 deletions
diff --git a/mod/module.cli b/mod/module.cli
index a829659..5e4d9ac 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -845,15 +845,15 @@ namespace brep
{
};
- // @@ TODO Is etc/brep-module.conf updated manually?
+ // @@ TODO Is etc/brep-module.conf updated manually? Yes, will need to
+ // replicate there eventually.
//
class ci_github: ci_start, ci_cancel,
build, build_db,
handler,
openssl_options
{
- // GitHub CI-specific options (e.g., request timeout when invoking
- // GitHub APIs).
+ // GitHub CI-specific options.
//
size_t ci-github-app-id