I'm sure this is going to get hate but not all of ICE is bad. They're also the guys who go after the super rich crimes. The immigration stuff had such a bad effect on the agency that the money crime people literally asked to be separated so they could get back to hunting money crimes without the stigma of the immigration stuff. [0]

Also, immigration control in itself isn't a bad thing. You shouldn't be asking that people stop providing services to a goverment agency. You should demand the goverment agency stops being a bunch of dicks.

[0] https://www.vox.com/policy-and-politics/2018/6/29/17517870/i...

Could you explain the moral and legal reasoning that necessitates that Github block ICE from using their public services, but also allows them to continue their "Developers should be allowed to user our service" that allows them to defend youtube-dl and usage in Iran?

Correct. I'm not saying he "fixed" the problem, but that he made his and the companies positions more clear.