diff options
| author | Francois Kritzinger <francois@codesynthesis.com> | 2025-02-11 13:56:43 +0200 |
|---|---|---|
| committer | Francois Kritzinger <francois@codesynthesis.com> | 2025-02-12 11:11:34 +0200 |
| commit | 059440a560a21f603847e8e39063afee2f3deb61 (patch) | |
| tree | 68c3365ca90e7a53ed3f2825dbd1486667b3660d /mod/mod-ci-github-service-data.hxx | |
| parent | 6ff3737c632f4d77e3d60d9e13c23ceed5ea3468 (diff) | |
ci-github: Recover from HTTP 502 (bad gateway)
Diffstat (limited to 'mod/mod-ci-github-service-data.hxx')
| -rw-r--r-- | mod/mod-ci-github-service-data.hxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mod/mod-ci-github-service-data.hxx b/mod/mod-ci-github-service-data.hxx index 3e9a58e..7ac39dd 100644 --- a/mod/mod-ci-github-service-data.hxx +++ b/mod/mod-ci-github-service-data.hxx @@ -97,7 +97,7 @@ namespace brep gh_installation_access_token installation_access; uint64_t app_id; - string installation_id; + string installation_id; // @@ TMP Also actually an integer string repository_node_id; // GitHub-internal opaque repository id. |