I hope you are right and I hope Gitlab folks are happy. But also note that it just became easier in many big corporations to sell Github to senior management, because you know, "nobody got fired for choosing Microsoft"