From 764f82e0b2bd6f0b1090490df4a15c5e8bcbbc2f 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(-)

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