Re: Cloner tout git.spip.net

Ça va s'avérer être très pratique, merci :)

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)
>
> -- 
> Cédric
>
> _______________________________________________
> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
> doc: https://www.spip.net/
> dev: https://core.spip.net/
> irc://irc.freenode.net/spip