diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2024-05-17 14:37:30 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-10 16:34:15 +0200 |
| commit | 99a76da2a6c6b9ea4db63e1eba08d59869f6133c (patch) | |
| tree | f47c66e67197925c44d273b420ab21d482a7c557 /mod/module.cli | |
| parent | f5e1c04c0a1168a0782948d5f6f17bc8f6ceefbb (diff) | |
Handle pull requests
Diffstat (limited to 'mod/module.cli')
| -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 e8f7df9..0c6785f 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. // |