From 25b6c45ef4160dae5da4bef85ad3af2c8723db4e Mon Sep 17 00:00:00 2001 From: Michael Daniels Date: Sat, 22 Nov 2025 15:24:39 -0500 Subject: [PATCH] ci/github-script/reviewers: convert all usernames to lowercase (part 2) Context: #464046 --- ci/github-script/reviewers.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ci/github-script/reviewers.js b/ci/github-script/reviewers.js index 7210a1b60224..b581f3c20755 100644 --- a/ci/github-script/reviewers.js +++ b/ci/github-script/reviewers.js @@ -45,7 +45,9 @@ async function handleReviewers({ ...(await Promise.all( maintainers.map(async (id) => (await getUser(id)).login.toLowerCase()), )), - ...owners.filter((handle) => handle && !handle.includes('/')), + ...owners + .filter((handle) => handle && !handle.includes('/')) + .map((handle) => handle.toLowerCase()), ]) log('reviewers - users', Array.from(users).join(', '))