[benstrumental]

I want to believe this but I can't find a source, can you share where you've read this?

[davemp]

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

[fernandotakai]

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.

[ddevault]

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

[adwn]

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.

[r3to]

Musk has never been CEO of PayPal

[gadders]

It's satire.