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.

It's the code that's hosted on GitHub, not the documents. Easier to move, easier to negotiate a move. You get visibility and easy distribution until they feel the need to bail.

With that argument we are discussing this on...errr US - the organization that perhaps grew those companies.

The word is not ironic it is pragmatic.