Google exec says it's OK Microsoft nabbed GitHub - CNET

Countless programmers use GitHub to cooperate on projects. Google's cloud chief says she wouldn't have minded being the buyer.