From 87588e0916f7e5d4c3709c14157615a08656cbdd Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Wed, 4 Dec 2024 12:09:19 +0200
Subject: Support multiple GitHub app instances

---
 mod/module.cli | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

(limited to 'mod/module.cli')

diff --git a/mod/module.cli b/mod/module.cli
index 274ecd4..1273bf4 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -850,12 +850,6 @@ namespace brep
       // GitHub CI-specific options.
       //
 
-      size_t ci-github-app-id
-      {
-        "<id>",
-        "The GitHub App ID. Found in the app's settings on GitHub."
-      }
-
       string ci-github-app-webhook-secret
       {
         "<secret>",
@@ -864,11 +858,12 @@ namespace brep
          (random) secret."
       }
 
-      path ci-github-app-private-key
+      std::map<string, dir_path> ci-github-app-id-private-key
       {
-        "<path>",
-        "The private key used during GitHub API authentication. Created in
-         the GitHub App's settings."
+        "<id>=<path>",
+        "The private key used during GitHub API authentication for the
+         specified GitHub App ID. Both vales are found in the GitHub App's
+         settings."
       }
 
       uint16_t ci-github-jwt-validity-period = 600
-- 
cgit v1.1