MicrosoftがGitHubを8000億円超で買収、GitHubのオープン性は維持される見込み