Microsoft Acquiring GitHub is Good News for OpenSource