Microsoft has agreed to acquire GitHub