[gotem]

More than 56 million developers around the world build and work together on GitHub.

Probably an overestimate as some people have multiple accounts or don’t use GitHub anymore.