And if they really want to control how their IP is used then they shouldn't host it on GitHub in the first place No. It's called copyright, it is enforceable,

And if they really want to control how their IP is used then they shouldn't host it on GitHub in the first place No. It's called copyright, it is enforceable, and that's the control. GPL source code is available everywhere, in all formats, in textbooks, on CDs, on websites, but it is still gpl. And Microsoft doesn't get to scrub the license.