From 626554e66c892a8ef42fafb79bde85f2419e30ab Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 26 Feb 2024 11:21:18 +0200 Subject: Review --- mod/module.cli | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'mod/module.cli') diff --git a/mod/module.cli b/mod/module.cli index 2eca5b1..c635689 100644 --- a/mod/module.cli +++ b/mod/module.cli @@ -815,15 +815,15 @@ namespace brep { }; - // @@ TODO Is etc/brep-module.conf updated manually? + // @@ 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 { - // GitHub CI-specific options (e.g., request timeout when invoking - // GitHub APIs). + // GitHub CI-specific options. // size_t ci-github-app-id -- cgit v1.1