aboutsummaryrefslogtreecommitdiff
path: root/etc/brep-module.conf
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-12-04 12:09:19 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-12-04 12:09:19 +0200
commit1f453b6c38d928fb40ffd288702ef23d1944daf9 (patch)
treeecf423d5069090bfbbf30b0da102bf446b5eb8b0 /etc/brep-module.conf
parent8afb3395a2e26a72c571e1dd8dc47139cacbb125 (diff)
Diffstat (limited to 'etc/brep-module.conf')
-rw-r--r--etc/brep-module.conf11
1 files changed, 3 insertions, 8 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf
index c1f7ca8..92b3182 100644
--- a/etc/brep-module.conf
+++ b/etc/brep-module.conf
@@ -453,21 +453,16 @@ menu About=?about
# ci-handler-timeout
-# The GitHub App ID. Found in the app's settings on GitHub.
-#
-# ci-github-app-id
-
-
# The GitHub App's configured webhook secret. If not set, then the GitHub CI
# service is disabled. Note: make sure to choose a strong (random) secret.
#
# ci-github-app-webhook-secret
-# The private key used during GitHub API authentication. Created in the GitHub
-# App's settings.
+# The private key used during GitHub API authentication for the specified
+# GitHub App ID. Both vales are found in the GitHub App's settings.
#
-# ci-github-app-private-key
+# ci-github-app-id-private-key <id>=<path>
# The number of seconds a JWT (authentication token) should be valid for. The