After getting EU approval a week ago, today Microsoft’s acquisition of GitHub, the Git-based code sharing and collaboration service with 31 million developers, has officially closed. The Redmond, WA-based software behemoth first said it would acquire GitHub for $7.5 billion in stock in June of this year, and after the acquisition closed it would continue to run it as an independent platform and business.