There's nothing ironic, as since the GP said there is no risk associated with GitHub. Git fundamentally prevents vendor lock-in and tampering, and the project is open, so the US have no leverage and pose no threat at all here.
When MS pulls services you are largely screwed.
When GitHub pulls services its a few hours downtime and a new provider.