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