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 f85861e..9c47e31 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -845,10 +845,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. // |