I just heard that the deal was official. Microsoft acquired Github for 7.5 billion dollars. https://www.theverge.com/2018/6/4/17422788/microsoft-github-acquisition-official-deal -- Carmel