GitHub had ~$1b in revenues in 2022, but I have no doubt that it created many multiples of that in value among its 90m users and communities in the same period.

GitHub had ~$1b in revenues in 2022, but I have no doubt that it created many multiples of that in value among its 90m users and communities in the same period. I would wager that the cumulative revenues of all third-party services (CircleCI, Sourcegraph etc.) that are part of the GitHub ecosystem also far exceed GitHub, value and revenues that would unlikely exist without GH (or be at an earlier phase of their evolution). I'd even go so far as to say the value created by pull requests alone exceeds $1bln annually, for the many commercial and open source teams that use it to get work done.