WTF me acabo de enterar de que en la web de github no se puede buscar cosas en proyectos que sean forks de otros. He tenido que bajarme el proyecto para hacer una búsqueda global.