The fact GitHub is not open source on their servers is not really a problem for me, there are many open source platforms to host code. And for centralized platform I won’t be able to change anything myself anyway.
My rant would be about having to run their proprietary code on my machine to use GitHub.