I can imagine a more disturbing (possible) hypothetical: the activists are successful, and Github terminates it's ICE contract. Nobody else will host their code. ICE still has source code that needs to be hosted, so they hire more developers to maintain their own internal source-code repository. Those developers are subsequently blackballed from future employment opportunities due to their past association with ICE.