microsoft, the software giant, has bought github, the code management repository, for $7.5 billion. because it is a quantity, $7.5 billion is pronounced seven point…