If they had not mentioned github's association with ICE, then we'd be in a situation where everyone would be questioning whether or not the relationship had anything to do with the decision.