From 059440a560a21f603847e8e39063afee2f3deb61 Mon Sep 17 00:00:00 2001 From: Francois Kritzinger Date: Tue, 11 Feb 2025 13:56:43 +0200 Subject: ci-github: Recover from HTTP 502 (bad gateway) --- mod/mod-ci-github-service-data.hxx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mod/mod-ci-github-service-data.hxx') 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. -- cgit v1.1