From be2715a2055e76c354bbc0dfeba52630d85030ca Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Wed, 29 May 2024 11:35:53 +0200
Subject: Fix ci_github inheritance in module.cli

---
 mod/module.cli | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'mod')

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.
       //
-- 
cgit v1.1