I’d rather GitHub stay independent, but of all that could buy it, Microsoft feels okay.