> PayPal had an automatic github-algorithm [...] before they managed to coup him as CEO
Musk stepped down as CEO of PayPal in 2000, predating not just Github, but git itself by 5 years.