Description
This is similar to #1818 but for users.
What happened
- A user had a GitHub account named, let's say,
foo
. - Another user
someone_else
added them as an owner of a crate foo
deleted their GitHub account (but crates.io has no real knowledge of this)foo
recreated their GitHub account with the same username (because it was still available), but in this situation GitHub assigns them a new ID- When
foo
now logs in to crates.io, it's a different account than their oldfoo
crates.io account because of the new GitHub ID (and if it wasn't, this would be a security problem) - The new
foo
account is NOT an owner of the crate someone_else
can't add the newfoo
account as an owner, nor can they remove the oldfoo
as an owner :(
What should happen
- Removing an owner, whether it's valid/current or not, should always work (if performed by another valid owner, etc)
- Once that removal works, it should be possible to add the new account as an owner