> I don't really buy the parent comment's insinuation that Microsoft GitHub would be more likely to fix it than GitHub previously

If Linux would be a proprietary product, than post-acquisition-github would get a fix from Linux developers because Microsoft is big. Not Github would provide anything, but they would get something due to the size of the Microsoft empirial stamp.