After the acquisition is completed, GitHub is indeed Microsoft’s