From cd422eff155c63cd73bd559c78480a1b2d4d42fd Mon Sep 17 00:00:00 2001 From: Francois Kritzinger Date: Tue, 10 Dec 2024 16:27:29 +0200 Subject: Update module infrastructure --- mod/module.cli | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'mod/module.cli') diff --git a/mod/module.cli b/mod/module.cli index 104337b..e8f7df9 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -845,13 +845,10 @@ namespace brep { }; - // @@ TODO Is etc/brep-module.conf updated manually? Yes, will need to - // replicate there eventually. - // class ci_github: ci_start, ci_cancel, build, build_db, - handler, - openssl_options + repository_url, + handler { // GitHub CI-specific options. // -- cgit v1.1