When the GitHub purchase was happening, there was a lot of noise from both parties about how the companies would remain separate and GitHub would keep the thing

When the GitHub purchase was happening, there was a lot of noise from both parties about how the companies would remain separate and GitHub would keep the things which make it appealing to developers; it therefore seems disingenuous to me to consider any of the positives of GitHub to be attributable to MS.