spip-contrib-outils/gitea_mirror
Par Matthieu Marcillaud, le 20 décembre 2021 à 15h31min :
Accélerer sensiblement le mirror sur des appels successifs : gitea renvoie que le projet a été modifié (donc sa date de dernière modification change) lorsqu’un tag est posé par exemple, et pas uniquement sur un commit.
De ce fait, le fichier index n’est pas toujours modifié et donc sa date ne change pas dans ce cas, et à chaque exécution un git pull est alors fait, même s’il n’y a pas de changement.
On s’appuie dans ce cas sur la date du dernier git pull avec le fichier FETCH_HEAD : on l’utilise s’il existe, sinon on se rabat sur index (s’il y a juste eu un clone, et aucun changement depuis).
Modifié
mirror.php