Merge commit from fork

This commit is contained in:
Will Hunt 2025-01-23 07:55:20 +00:00 committed by GitHub
parent a12ea4a930
commit e51d821023
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -153,7 +153,15 @@ export class GithubInstance {
do {
const installations = await this.internalOctokit.apps.listInstallations({ per_page: 100, page: page++ });
for (const install of installations.data) {
if (install.suspended_at) {
log.warn(`GitHub app install ${install.id} was suspended. GitHub connections using this install may not work correctly`);
continue;
}
try {
await this.addInstallation(install);
} catch (ex) {
log.info(`Failed to handle GitHub installation ${install.id}`, ex);
}
}
installPageSize = installations.data.length;
} while(installPageSize === 100)