diff options
Diffstat (limited to 'mod/module.cli')
| -rw-r--r-- | mod/module.cli | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mod/module.cli b/mod/module.cli index 166adbd..05e9188 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -818,7 +818,11 @@ 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_db, handler, openssl_options + class ci_github: repository_url, + ci_start, ci_cancel, + build_db, + handler, + openssl_options { // GitHub CI-specific options. // |