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.