微软确认收购 GitHub。