[AUTOREVERT] ensuring gh installation_id is int as required by GH client

jeanschmidt · jeanschmidt · commit c52b70e43f34 · 2025-12-08T16:18:18.000-08:00
Signed-off-by: Jean Schmidt &lt;contato@jschmidt.me&gt;
diff --git a/aws/lambda/pytorch-auto-revert/pytorch_auto_revert/__main__.py b/aws/lambda/pytorch-auto-revert/pytorch_auto_revert/__main__.py
@@ -631,7 +631,7 @@ def main_run(
     GHClientFactory.setup_client(
         config.github_app_id,
         gh_app_secret,
-        config.github_installation_id,
+        int(config.github_installation_id),
         config.github_access_token,
     )
 

Original file line number	Diff line number	Diff line change
`@@ -631,7 +631,7 @@ def main_run(`
`631`	`631`	`GHClientFactory.setup_client(`
`632`	`632`	`config.github_app_id,`
`633`	`633`	`gh_app_secret,`
`634`		`- config.github_installation_id,`
	`634`	`+ int(config.github_installation_id),`
`635`	`635`	`config.github_access_token,`
`636`	`636`	`)`
`637`	`637`