Re: Cloner tout git.spip.net

Le 14/05/2020 à 10:27, Cerdic a écrit :
> Hello,
> 
> c’est un besoin un peu à la marge mais qui existe :
> comment avoir une copie de tous les repos de git.spip.net en local pour 
> faire des recherche dans la base de code par exemple ?
> 
> C’est maintenant possible avec le script mirror.php que vous trouverez là
> https://git.spip.net/spip-contrib-outils/gitea_mirror
> 
> Le script veille à ne pas charger le serveur inutilement : les appels à 
> l’API gitea sont mis en cache et seuls les repositories modifiés depuis 
> le dernier appel sont pull à nouveau.
> Il peut donc être utilisé sans crainte de charger git.spip.net :)
> (il n’y a que le premier clone complet qui génère vraiment une charge)

Merci, ça marche super bien.

Une suggestion : l'ajout d'un .gitignore pour le cache et les dossiers 
créés pour chaque orga, je sais pas ce que tu en penses.

Sinon, j'avais des erreurs quand j'ai lancé le script, que je n'ai pas 
vues au départ : il m'affichait la liste des 1196 dépots en erreur, 
parce que je n'avais pas checkout.php dans mon PATH.
Mais avec 1196 lignes d'erreurs affichées je n'avais pas vu les messages 
indiquant que checkout n'était pas trouvé.

Peut être indiquer dans le readme qu'il faut installer checkout ? ou 
bien vérifier qu'il est bien installé ?

-- 
nicod_