diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-04 12:09:19 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-04 12:09:19 +0200 |
commit | 1f453b6c38d928fb40ffd288702ef23d1944daf9 (patch) | |
tree | ecf423d5069090bfbbf30b0da102bf446b5eb8b0 /etc/brep-module.conf | |
parent | 8afb3395a2e26a72c571e1dd8dc47139cacbb125 (diff) |
Sketchci-github-2
Diffstat (limited to 'etc/brep-module.conf')
-rw-r--r-- | etc/brep-module.conf | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf index c1f7ca8..92b3182 100644 --- a/etc/brep-module.conf +++ b/etc/brep-module.conf @@ -453,21 +453,16 @@ 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. 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. +# The private key used during GitHub API authentication for the specified +# GitHub App ID. Both vales are found in the GitHub App's settings. # -# ci-github-app-private-key +# ci-github-app-id-private-key <id>=<path> # The number of seconds a JWT (authentication token) should be valid for. The |