diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-04 12:09:19 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-10 16:44:55 +0200 |
| commit | 87588e0916f7e5d4c3709c14157615a08656cbdd (patch) | |
| tree | 7e920eb60b029e8558f24c231e0e5e254fa19492 /etc | |
| parent | e28291b10fa2fbe12d33eba5acfc7de62b0f1dcc (diff) | |
Support multiple GitHub app instances
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/brep-module.conf | 11 | ||||
| -rw-r--r-- | etc/private/install/brep-module.conf | 11 |
2 files changed, 6 insertions, 16 deletions
diff --git a/etc/brep-module.conf b/etc/brep-module.conf index 0143434..fd6ba67 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 diff --git a/etc/private/install/brep-module.conf b/etc/private/install/brep-module.conf index e1f921d..07db881 100644 --- a/etc/private/install/brep-module.conf +++ b/etc/private/install/brep-module.conf @@ -461,21 +461,16 @@ 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. +# 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 |