Update github username

[asmacdo]

Whats the appropriate way to handle a github username change?

NegarJoodi was edgarwithweirdname. They made the change, but we still have the old name in our data.

[asmacdo]

This was changed in the data layer at some point not sure what the process was

[asmacdo]

No I meant that the dandi user was updated, but the process to request that (or do) is unclear.

[jjnesbitt]

This issue as filed is phrased as a question, and is not something that a code change will solve, as it would require us to manually modify the database records to update the misaligned data. If something of this nature needs urgent action, people are free to ping us on slack, or something similar. Issues should be reserved for actionable bugs, feature requests, etc., that can be addressed with a code change.

This specific issue is a symptom of a larger problem with the code base. I've created #2668 to properly describe the generalized issue with our system, which is what can actually be addressed with a code change.

[jjnesbitt]

No I meant that the dandi user was updated, but the process to request that (or do) is unclear.

If this is the case, then I will close #2668. I believe the username was probably updated when the user logged in next, after changing their username.

[kabilar]

Sorry for the confusion. I also verified that edgarwithweirdname was updated to NegarJoodi. Let's see if the username update automatically happens for the most recent request (via email) and we can close that issue.

[asmacdo]

FWIW I filed as an issue originally thinking it would make sense to add to the docs