Re: "Any GitHub user thus appreciates that code placed in a public repository is genuinely public,"
Everything put on github is cross licensed with whatever the user chooses and Microsoft, it has to be or it can't be uploaded. Effectively, Microsoft finally found a way to destroy the free open source model and millions of naive coders help them do it.