Quite a lot of activity on GitHub isn't open source, especially not where they get their revenue from. But you're right that US authority can have severe impacts.