Browse Source

Dans le cas d’un premier clone, il ne faut pas chercher le fichier de pull.

master
Matthieu Marcillaud 12 months ago
parent
commit
8a5c606f0b
  1. 2
      mirror.php

2
mirror.php

@ -79,7 +79,7 @@ foreach ($url_orgs as $url_org) {
echo "\n$cmd\n";
passthru($cmd);
echo "\n";
if (!file_exists($git_last_pull)) {
if (!file_exists($git_last_change)) {
$errors[] = $url;
}
}

Loading…
Cancel
Save