I imagine most of these companies are using GitHub Enterprise, which costs plenty of money.
For our externally-facing open source projects, we are using the GitHub.com public product like any other GitHub user - we realize that GitHub is where open source lives these days!
That said, we have some unique challenges, as we have nearly 10,000 members in some of our organizations.
Full disclosure, I work within the Microsoft Open Source Programs Office and am responsible for our GitHub.com billing arrangements at this time.