1 files changed, 28 insertions, 3 deletions
diff --git a/mod/module.cli b/mod/module.cli
index ccfe032..7c07dbc 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -845,11 +845,36 @@ namespace brep
     {
     };
 
-    class ci_github: ci_start, build, build_db, handler
+    // @@ TODO Is etc/brep-module.conf updated manually? Yes, will need to
+    //    replicate there eventually.
+    //
+    class ci_github: ci_start, ci_cancel,
+                     build, build_db,
+                     handler,
+                     openssl_options
     {
-      // GitHub CI-specific options (e.g., request timeout when invoking
-      // GitHub APIs).
+      // GitHub CI-specific options.
       //
+
+      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."
+      }
+
+      uint16_t ci-github-jwt-validity-period = 600
+      {
+        "<seconds>",
+        "The number of seconds a JWT (authentication token) should be valid for.
+         The maximum allowed by GitHub is 10 minutes."
+      }
     };
 
     class upload: build, build_db, build_upload, repository_email, handler