On Monday, 2 October 2017 23:40:55 UTC+2, Bill Hart wrote: > > I think what is likely to happen is that any GitHub code which is NOT Open > Source, is likely to be used in the new filters. If 10 consecutive lines of > copyrighted, proprietary code is found in a repository not owned by the > copyright holders, it might be worth investigating as possible piracy. >
If I were GitHub, I would implement this feature now, and roll it out for all holders of repositories of proprietary code on GitHub, and make sure it is very well tested against all such other repositories. :-) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
