I don't know much about the inner workings of Microsoft, but I could also imagine than an acquisition from that long ago just isn't known to those in the Github

I don't know much about the inner workings of Microsoft, but I could also imagine than an acquisition from that long ago just isn't known to those in the Github side of the house. Seems pretty typical for a large company.