Just puzzled what would really be the impact from a business perspective if those coders move their projects out? Will it damage Github’s reputation that would turn into a mass exodus of people using their service?

I think a fair set of governance on the ICE relationship that MS has alongside conformity from the developers / project maintainers can be achieved in this scenario.