From c05051582afa6d778edf544bf8ccd9392ef64bb0 Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Mon, 2 Dec 2024 13:36:45 +0200
Subject: Handle replaced tenants and clean up code/comments

---
 etc/brep-module.conf                 |  2 +-
 etc/private/install/brep-module.conf | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/brep-module.conf b/etc/brep-module.conf
index 37220a3..0143434 100644
--- a/etc/brep-module.conf
+++ b/etc/brep-module.conf
@@ -459,7 +459,7 @@ menu About=?about
 
 
 # The GitHub App's configured webhook secret. If not set, then the GitHub CI
-# service is disabled.
+# service is disabled. Note: make sure to choose a strong (random) secret.
 #
 # ci-github-app-webhook-secret
 
diff --git a/etc/private/install/brep-module.conf b/etc/private/install/brep-module.conf
index 8cf546f..e1f921d 100644
--- a/etc/private/install/brep-module.conf
+++ b/etc/private/install/brep-module.conf
@@ -461,6 +461,29 @@ submit-handler-timeout 120
 # 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.
+#
+# ci-github-app-private-key
+
+
+# The number of seconds a JWT (authentication token) should be valid for. The
+# maximum allowed by GitHub is 10 minutes.
+#
+# ci-github-jwt-validity-period 600
+
+
 # The directory to save upload data to for the specified upload type. If
 # unspecified, the build artifacts upload functionality will be disabled for
 # this type.
-- 
cgit v1.1