Lots of discussion on the name changing portion of this, but I’m more perplexed by the github dev / support adding an SSH key to the account. Obviously they hav

Lots of discussion on the name changing portion of this, but I’m more perplexed by the github dev / support adding an SSH key to the account. Obviously they have that kind of access to the data / accounts hosted in their infra, but I don’t really understand why that would have been necessary or why they didn’t remove the key afterwards.