マイクロソフト、GitHub買収で合意か