diff options
| -rw-r--r-- | mod/module.cli | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/mod/module.cli b/mod/module.cli index b5b3457..d716c6e 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -815,10 +815,7 @@ namespace brep { }; - class ci_github: ci_start, ci_cancel, - build, build_db, - repository_url, - handler + class ci_github: ci_start, ci_cancel, repository_url { // GitHub CI-specific options. // |