aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-05-10 14:15:25 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-10-15 09:05:28 +0200
commitdc3a911495292fc6eda318fac32f5606ffb12568 (patch)
tree4cda19118e7e29230c918fa137beb664b3d288db /etc
parenta515e647cbba6a2bdb2b6fb764b02fa23b7d2652 (diff)
Post-review changes
Diffstat (limited to 'etc')
-rw-r--r--etc/brep-module.conf22
1 files changed, 22 insertions, 0 deletions
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.