From dc3a911495292fc6eda318fac32f5606ffb12568 Mon Sep 17 00:00:00 2001
From: Francois Kritzinger <francois@codesynthesis.com>
Date: Fri, 10 May 2024 14:15:25 +0200
Subject: Post-review changes

---
 etc/brep-module.conf | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'etc/brep-module.conf')

diff --git a/etc/brep-module.conf b/etc/brep-module.conf
index 560227e..a40e612 100644
--- a/etc/brep-module.conf
+++ b/etc/brep-module.conf
@@ -453,6 +453,28 @@ 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.
+#
+# 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