This is a bit depressing.
https://www.nerdmeritbadges.com/products/octocat
This underlying problem needs to become a priority. Either pressuring #github to go free software or getting free software to go elsewhere.
Github becoming synonymous with open source just muddies free software waters more.
Free Software needs free tools.
@chuck Not sure.
Github has culturally in a way grown extremely synonymous with git.
Im constantly reminding my own boss and other coders at our university that git and github are separate tools, because they've grown into one giant conceptual whole for them.
We need one or two high profile defections from github that make it known the importance of the ethos behind switching. That might be a good start.