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