Of course this isn't just a problem with copyleft licenses on github, but also with non-open code on github. Only there the problem may be less visible. Ideall

Of course this isn't just a problem with copyleft licenses on github, but also with non-open code on github. Only there the problem may be less visible. Ideally, github should check the license of the code it's using to feed copilot, and only use code with permissive licenses.