aboutsummaryrefslogtreecommitdiff
path: root/mod/module.cli
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-02-12 11:23:16 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-06-05 09:12:45 +0200
commit6a7e81b3d331c84633732d6b80d82fcbeb9eed44 (patch)
treeab9f5b5dc30612bdf89c76c1e8880c0d308f19be /mod/module.cli
parent3d53ca86d53c119e9b937d3a51571127f75b140c (diff)
Post-review changes
Diffstat (limited to 'mod/module.cli')
-rw-r--r--mod/module.cli7
1 files changed, 7 insertions, 0 deletions
diff --git a/mod/module.cli b/mod/module.cli
index 1e266e4..67eff6c 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -838,6 +838,13 @@ namespace brep
"The private key used during GitHub API authentication. Created in
the GitHub app's settings."
}
+
+ uint16_t ci-github-jwt-validity-period = 10
+ {
+ "<minutes>",
+ "The number of minutes 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