diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-11-29 08:34:09 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-12-10 16:44:55 +0200 |
commit | f5768fee9d0977a42f344cf0cfdae74ca80a23b9 (patch) | |
tree | 3ff334d7f9ae5d4b3396b9beb0644c052fd48a75 /mod/mod-ci-github.hxx | |
parent | 0dd483c8d91fc895b1669389f453fb98f1c64bd3 (diff) |
Review exceptions thrown by github-ci API functions
Diffstat (limited to 'mod/mod-ci-github.hxx')
-rw-r--r-- | mod/mod-ci-github.hxx | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mod/mod-ci-github.hxx b/mod/mod-ci-github.hxx index b88d5e4..c38462a 100644 --- a/mod/mod-ci-github.hxx +++ b/mod/mod-ci-github.hxx @@ -107,7 +107,9 @@ namespace brep optional<string> generate_jwt (const basic_mark& trace, const basic_mark& error) const; - // Authenticate to GitHub as an app installation. + // Authenticate to GitHub as an app installation. Return the installation + // access token (IAT). Issue diagnostics and return nullopt if something + // goes wrong. // optional<gh_installation_access_token> obtain_installation_access_token (uint64_t install_id, |