GITHUB IS NOT a household name. But the American company, which is the world’s largest repository of open-source software, provides vital digital infrastructure on which much of the ...