関連ワード:  microsoft github merger    microsoft github merge    microsoft github acquisition    microsoft github acquisition date    microsoft github acquisition price    how much did microsoft pay for github    did microsoft buy github    is github owned by microsoft