diff --git a/ci/github-script/bot.js b/ci/github-script/bot.js index f178b6028783..f0155e8edd1c 100644 --- a/ci/github-script/bot.js +++ b/ci/github-script/bot.js @@ -133,6 +133,11 @@ module.exports = async ({ github, context, core, dry }) => { id, }) .then((resp) => resp.data) + .catch((e) => { + // User may have deleted their account + if (e.status === 404) return null + throw e + }) } return users[id] diff --git a/ci/github-script/reviewers.js b/ci/github-script/reviewers.js index b581f3c20755..d10b9f6a98e2 100644 --- a/ci/github-script/reviewers.js +++ b/ci/github-script/reviewers.js @@ -42,9 +42,15 @@ async function handleReviewers({ } const users = new Set([ - ...(await Promise.all( - maintainers.map(async (id) => (await getUser(id)).login.toLowerCase()), - )), + ...( + await Promise.all( + maintainers.map(async (id) => { + const user = await getUser(id) + // User may have deleted their account + return user?.login?.toLowerCase() + }), + ) + ).filter(Boolean), ...owners .filter((handle) => handle && !handle.includes('/')) .map((handle) => handle.toLowerCase()),