Art13 exception is only valid for 'open source' code hosting platforms:
https://juliareda.eu/wp-content/uploads/2019/02/Copyright_Final_compromise.pdf
"Providers of services such as not-for profit online encyclopedias, not-for profit educational
and scientific repositories, open source software developing and sharing platforms, electronic
communication service providers as defined in Directive 2018/1972 establishing the European
Electronic Communication Code, online marketplaces and business-to business cloud services
and cloud services which allow users to upload content for their own use shall not be
considered online content sharing service providers within the meaning of this Directive.
"
Considering that Github has many repos without an open source LICENSE file, does Github have to install copyright filters?
