1 files changed, 16 insertions, 1 deletions
diff --git a/mod/module.cli b/mod/module.cli
index a107ffe..c61ce8a 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -815,11 +815,26 @@ namespace brep
       }
     };
 
-    class ci_github: ci_start, ci_cancel, build_db, handler
+    // @@ TODO Is etc/brep-module.conf updated manually?
+    //
+    class ci_github: ci_start, ci_cancel, build_db, handler, openssl_options
     {
       // GitHub CI-specific options (e.g., request timeout when invoking
       // GitHub APIs).
       //
+
+      size_t ci-github-app-id
+      {
+        "<id>",
+        "The GitHub App ID. Found in the app's settings on GitHub."
+      }
+
+      path ci-github-app-private-key
+      {
+        "<path>",
+        "The private key used during GitHub API authentication. Created in
+         the GitHub app's settings."
+      }
     };
 
     class upload: build, build_db, build_upload, repository_email, handler