diff --git a/tools/push3-evolution/evolution-daemon.sh b/tools/push3-evolution/evolution-daemon.sh index 1e969fe..262ab38 100755 --- a/tools/push3-evolution/evolution-daemon.sh +++ b/tools/push3-evolution/evolution-daemon.sh @@ -190,7 +190,8 @@ while true; do log "[2/7] Applying evolution patches…" if ! (cd "$REPO_ROOT" && git apply --check "$PATCH_FILE"); then log " ERROR: evolution.patch needs regeneration — see tools/push3-evolution/evolution.conf" - log " Skipping run (patch does not apply to current tree)." + log " Skipping run (patch does not apply to current tree). Sleeping 300s before retry…" + sleep 300 continue fi if (cd "$REPO_ROOT" && git apply "$PATCH_FILE"); then