From e81fdae1ade9eee3cf36c4a785352a479f2eb241 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 13 May 2024 13:28:42 +0200
Subject: Review

---
 etc/brep-module.conf | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'etc')

diff --git a/etc/brep-module.conf b/etc/brep-module.conf
index a40e612..80f7cbf 100644
--- a/etc/brep-module.conf
+++ b/etc/brep-module.conf
@@ -458,13 +458,14 @@ menu About=?about
 # ci-github-app-id
 
 
-# The GitHub app's configured webhook secret.
+# The GitHub App's configured webhook secret. If not set, then the GitHub CI
+# service is disabled.
 #
 # ci-github-app-webhook-secret
 
 
 # The private key used during GitHub API authentication. Created in the GitHub
-# app's settings.
+# App's settings.
 #
 # ci-github-app-private-key
 
-- 
cgit v1.1