Github isn’t anywhere near a startup. It is a big division of Microsoft.