diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-02-26 11:21:18 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-10-15 09:05:27 +0200 |
commit | 957dc92c10f25b82099b6e9e11c1dd8273728626 (patch) | |
tree | 788de41fcc65fe7ebaf711d98f70d327b42c0d9a /mod/module.cli | |
parent | c8b9b0143d60dfcbf1a142b8e248d2581373efb5 (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 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 |