Microsoft has agreed to buy GitHub for $7.5 billion