diff options
Diffstat (limited to 'mod/module.cli')
| -rw-r--r-- | mod/module.cli | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/mod/module.cli b/mod/module.cli index 104337b..e8f7df9 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -845,13 +845,10 @@ namespace brep { }; - // @@ 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 + repository_url, + handler { // GitHub CI-specific options. // |