diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/brep-module.conf | 2 | ||||
-rw-r--r-- | etc/private/install/brep-module.conf | 23 |
2 files changed, 24 insertions, 1 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf index 80f7cbf..c1f7ca8 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 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. |