From e343bc2cb570e783779e14615681339a84095495 Mon Sep 17 00:00:00 2001 From: gyurix Date: Thu, 7 Aug 2025 15:07:53 +0200 Subject: [PATCH] Enhance entrypoint script to log completion of git pull operation --- scripts/scheduler/entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/scheduler/entrypoint.sh b/scripts/scheduler/entrypoint.sh index 0661434..d812aed 100644 --- a/scripts/scheduler/entrypoint.sh +++ b/scripts/scheduler/entrypoint.sh @@ -524,7 +524,7 @@ get_repositories() { cd /tmp/$BASE echo "Starting git pull for $BASE" GIT_HTTP_CONNECT_TIMEOUT=10 GIT_HTTP_TIMEOUT=30 git pull - echo + echo "Finished git pull for $BASE" fi if [ -f "/tmp/$BASE/applications-tree.json" ]; then TREES=$TREES" /tmp/$BASE/applications-tree.json"