aboutsummaryrefslogtreecommitdiff
path: root/etc/private/install
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-12-03 13:07:54 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-12-03 13:07:54 +0200
commit061b41ea76599682544fb543b744e32f5401f4ab (patch)
treeb9bf94d81a901d1ee18198d8d520f243b0a1b1ad /etc/private/install
parentbe11c6ae163361ad3e3a4dadb65a428bd9614fbc (diff)
Review
Diffstat (limited to 'etc/private/install')
-rw-r--r--etc/private/install/brep-module.conf23
1 files changed, 23 insertions, 0 deletions
diff --git a/etc/private/install/brep-module.conf b/etc/private/install/brep-module.conf
index 0c7f065..f64cc0d 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.