Reading the write-up again, this really struck me:

It’s not a fun place for me to be anymore. I want to be there but it doesn't want me to be there. I want to get work done and it doesn't want me to get work done. I want to ship software and it doesn't want me to ship software.

Github is really Microsoft. The above paragraph captures perfectly what it's like to work in a big company like Microsoft.

When Github was a startup, it was both a tech company and a social media for coders and a real-life social scene (especially in SF, some pretty epic stories over the years).

Once Github was acquired, it was a countdown to all the soul being sucked out of it and simply a mechanism being left behind.

That sounds like somebody have a psychological break TBH.