when did github get acquired by microsoft