Maybe Google Ventures will end up investing in Gitlab, or some similar startup down the line. It seems like it would be a decent hedge, and possibly cheaper than developing and/or running it themselves.