Every now and again, Thomas Dohmke likes to print out his boarding pass. In a strange way, that little slip of paper helps remind the chief executive of the Microsoft-owned GitHub just how much of the rest of his life is now reliant on software.

And as Dohmke knows only too well, a good chunk of the software used in our daily lives has been developed on GitHub’s web-based platform, which allows multiple developers to collaborate on the same project using an open-source tool called Git. A staggering 94 million developers are part of the GitHub community.