diff options
Diffstat (limited to 'mod/module.cli')
-rw-r--r-- | mod/module.cli | 17 |
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 |