I'm not saying this is what happened, I'm just saying this is the type of situation where an MS-owned github could have interests un-aligned with developers, where it might not be the case with an independent github