I completely agree. The biggest issue here is that we are losing a neutral player as the top comment says. The tech world is that much more monopolistic without an independent GitHub.