You're right, but that GitHub is dead. Also, the former stewards of that open source goodness sold it to Microsoft for a cheap buck. Any goodwill they earned

You're right, but that GitHub is dead. Also, the former stewards of that open source goodness sold it to Microsoft for a cheap buck. Any goodwill they earned has been spent.