Microsoft has agreed to acquire GitHub for $7.5 billion