If anyone's interested in their growth curve, this scraper of their search engine using date ranges gives you figures for their number of users every month since they started. https://scraperwiki.com/scrapers/github_users_each_year/