por fin! clonado! ;)
@kastwey necesitas todo el historial de commits? Imagino que lo sabes pero por si acaso, si no necesitas todo el historial, al git clone le añades el --depth X (X es un numero) y te traes solo los ultimls cambios
@crisconru ¡Hola! Sí, gracias! Mi idea era usar eso si se me volvía a fastidiar :) La cosa es que es un repo raro, con scripts de configuración, hooks y demás... y no sé qué han hecho internamente. Seguramente no me harían falta, pero no estaba seguro, así que lo bajé entero. Al final me funcionó, menos mal. Creo que es el repo con más commits que he visto en mi vida .