diff options
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 a93ff68..f8a1ca9 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -815,12 +815,12 @@ 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_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 |