2 ms·I'm sure Github could make them change their domain name if they wanted toby VWWHFSfQ 6y agoI'm sure Github could make them change their domain name if they wanted to