[grezql]

it will become a sterile, homogenous environment.

Its the diversity (like the repos mentioned above) that made github the goto code-sharing site.

I, for one, would rather jeaopardize the service to defend the rights of such fringe developers. Together we stand.

[vortico]

You might think that the reason GitHub exists is to be an altruistic public service to all developers, but that's not the case. This is: https://github.com/pricing As a paying user of GitHub and a member of organizations that use its commercial services, it would be completely absurd for them to put a dozen employees out of work because they have to support a pointless lawsuit of not removing an infringing repository that isn't making them any money in the first place.