関連ワード:  github acquisition by microsoft    github acquired by microsoft    github acquired by microsoft date    git acquired by microsoft    github bought by microsoft    github was acquired by microsoft in 2018 for $7.5 billion    github merger microsoft    github acquisition price    is github owned by microsoft    github paid features