> These prohibitions include the making of any contribution or provision of funds, goods, or services by, to, or for the benefit of any blocked person and the receipt of any contribution or provision of funds, goods, or services from any such person.
Cut and dry if the open-source contributors are "blocked persons", but are they?
They'd no longer be allowed to contribute to the project, but does someone having contributed in the past mean the sanction on the project extends to their person? Github themselves provided hosting to the project.
More importantly, these contributors are likely to have local forks when they can quickly upload under a different name. They can still create new accounts though.
It's pretty cut and dry.