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-04-24 15:14:54 +0200
commit9238928b2740b0b18bf420122942cf4a08d6bbfc (patch)
treee8c1d7e1fd2f11752fbb8cf40e900a3e2326cc5a /mod/module.cli
parente385516c2accc0ef3f8469b767bf0c8a0374175d (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 c61ce8a..68d1d35 100644
--- a/mod/module.cli
+++ b/mod/module.cli
@@ -835,6 +835,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