I don’t think tech people understand how bad it is that Microsoft owns GitHub.

GitLab is one of the few places people could go if GitHub enshittifies too much. Google’s stake in it (or full ownership of it) would probably be a good thing, because it would be seen as an important strategic hedge against Microsoft. If it’s bought by a smaller player, I can see GitHub squeezing it into irrelevance.