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 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 |