It would be nice if developers' Github identities could be tracked somewhere. Mapping between various identifiers (SUL, LDAP, IRC, Github, Telegram etc.etc.) can be time-consuming and sometimes impossible.
@bd808 suggested that Bitu could be used for this. He is working on a tool that Wikimedia developers can use to register their Github accounts (for purposes unrelated to this task) so I think that could provide the UI for it.
@bd808 suggested that Bitu could be used for this. He is working on a tool that Wikimedia developers can use to register their Github accounts (for purposes unrelated to this task) so I think that could provide the UI for it.
My thing would be a Toolforge tool which means that it really should not have write access to the LDAP directory for a bunch of really good reasons. I suggested Bitu as the project that could extend the directory and manage the data because it is the solution actively replacing Wikitech for Developer account management.
One way we could do this is by adding Github to Bitu in the same way we've added the SUL accounts.
That is we add a field, or two to LDAP, depending on how Github returns user identities. Then in Bitu we add the "account linking" option. The way that would work is that we ask users to authenticate with Github, I believe that is OAuth2, in the return from Github we should then get their username and possibly and ID of some sort.
See also various tasks linked from T325235#8697072. Also GitHub username can be changed and the old username can be reused by other users, so maybe we should record GitHub user ID instead of username.
What's the motivation for this? I'm not opposed, just wondering. Security? Easier sharing of linked accounts on profile pages? Something else?