Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add missing names #51

Merged
merged 2 commits into from
Mar 29, 2023
Merged

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Mar 29, 2023

This adds some reviewers missing from the reviewer map. This is not all missing reviewer names, just the ones that a very quick script could determine from the teams database.

This also adds a commit to make the reviewer name check case-insensitive. Slurping up those names added some duplicates, and this helps removing those duplicates.

This makes it so that there isn't a need to create duplicates for every
variant of different cases for a reviewer.
@Mark-Simulacrum Mark-Simulacrum merged commit 0846ab8 into rust-lang:master Mar 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants