Enhance entrypoint script to log completion of git pull operation

2025-08-07 15:07:53 +02:00
parent 6d267dfd04
commit e343bc2cb5
1 changed files with 1 additions and 1 deletions
--- 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"