Plus, GitHub is a Microsoft property now, and I believe that on some fundamental level, Microsoft is happy to be in command of social web properties that still see avid use, and aren’t being stifled by Microsoft’s otherwise domineering reputation.