Par Matthieu Marcillaud, le 20 décembre 2021 à 15h37min :
Dans le cas d’un premier clone, il ne faut pas chercher le fichier de pull.
Modifié mirror.php
Détails : Dans le cas d’un premier clone, il ne faut pas chercher le fichier de pull. · 8a5c606f0b - gitea_mirror - SPIP on GIT