@mms Years ago, there was a music-centric GNU/Linux distribution which did not distribute source, since everything they put out was already available elsewhere.
The FSF explained that each distributor had to provide code themselves, not rely on other repos, because those might become unavailable.
I think Microsoft GitHub counts, as long as the account belongs to the project in question.
GitHub, AFAIK, is available worldwide. Being blocked by a gov or boss is outside the reach of a license.