Skip to content

Make owner invites case-insensitive #2194

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

Merged
merged 3 commits into from
Dec 6, 2020

Conversation

JohnTitor
Copy link
Member

@bors
Copy link
Contributor

bors commented Apr 4, 2020

☔ The latest upstream changes (presumably #2177) made this pull request unmergeable. Please resolve the merge conflicts.

carols10cents and others added 3 commits December 6, 2020 13:44
This mimics what people provide in the UI or via Cargo, and will let us
easier test differences in case, for example.
@Turbo87
Copy link
Member

Turbo87 commented Dec 6, 2020

LGTM 👍

@bors r+

@bors
Copy link
Contributor

bors commented Dec 6, 2020

📌 Commit 33744bc has been approved by Turbo87

@bors
Copy link
Contributor

bors commented Dec 6, 2020

⌛ Testing commit 33744bc with merge c69faed...

@bors
Copy link
Contributor

bors commented Dec 6, 2020

☀️ Test successful - checks-actions
Approved by: Turbo87
Pushing c69faed to master...

@bors bors merged commit c69faed into rust-lang:master Dec 6, 2020
@JohnTitor JohnTitor deleted the case-insensitive branch December 6, 2020 17:03
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.

Owner invite doesn't work when username is specified with different casing
6 participants