If developers are afraid, they will be tempted to program a solution for censorship-resistant hosting of open source software that additionally allows to contribute anonymously (not just pseudonymously).
the problem is lot of the incentive to contribute for free is the name recognition.
Lot of dev see it as a way to show what they can do (portfolio) because that can’t share the code they produce at work
Yep, plenty of tools in the infosec world on github and elsewhere are published by anonymous developers.
Plus when you use an anonymous name and get a popular project out of it, you still get recognition. Even if it's not publicly in your name. You'll still feel good about contributing to the world.
All GitHub got was a take down request (which they were required to act on), not proof of anything being illegal (which requires a court case to prove)