It’s a shitpost, which really doesn’t belong on HN.

a bit meta, but it feels like since musk bought twitter, there have been too many shitposts/unfounded rumors about him that do not belong here.

Fun is occasionally permitted on HN. This thread is about a joke add-on in the first place, you know.

I suspect it's sarcasm:

> 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.

Musk has never been CEO of PayPal

It's satire.