ci/github-script/reviewers: convert all usernames to lowercase (part 2) (#464090)

This commit is contained in:
Wolfgang Walther
2025-11-22 20:28:41 +00:00
committed by GitHub
+3 -1
View File
@@ -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(', '))