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