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.