Last year, Microsoft paid $7.5 billion to buy GitHub, the online home of thousands of open source software projects that power apps and sites ranging from Facebook to Walmart.com. The acquisition, ...