Is there evidence that GitHub has successfully prevented other AI companies from cloning open-source projects?