diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-02-26 11:21:18 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-06-05 09:12:45 +0200 |
commit | 626554e66c892a8ef42fafb79bde85f2419e30ab (patch) | |
tree | bb2e10f8d5ca2b1ee2b797209e3871d73ca2c0df /mod/module.cli | |
parent | 0e84b1117e86e4c349a070a807b6208c0d8729b3 (diff) |
Review
Diffstat (limited to 'mod/module.cli')
-rw-r--r-- | mod/module.cli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mod/module.cli b/mod/module.cli index 2eca5b1..c635689 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -815,15 +815,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 |