When joined in they were on the tail end of sunsetting Google Code, which they explained was the smart thing to do because Google doesn’t want to waste its time on opportunities that aren’t measured in billions.
Google then sat on the sidelines as GitHub grew to a tens of billions dollar business, and now Google spends billions trying to get more developers on GCP which they could have gotten for free if they still owned the portal to the code all the developers use.
A lot of Google wisdom sounded a lot wiser before we saw how it fully played out.