diff --git a/scripts/scheduler/entrypoint.sh b/scripts/scheduler/entrypoint.sh index a05b128..4874c3f 100644 --- a/scripts/scheduler/entrypoint.sh +++ b/scripts/scheduler/entrypoint.sh @@ -522,7 +522,8 @@ get_repositories() { GIT_HTTP_CONNECT_TIMEOUT=10 GIT_HTTP_TIMEOUT=30 git clone $REPO /tmp/$BASE >/dev/null else cd /tmp/$BASE - GIT_HTTP_CONNECT_TIMEOUT=10 GIT_HTTP_TIMEOUT=30 git pull >/dev/null + date >> /tmp/pull.log + GIT_HTTP_CONNECT_TIMEOUT=10 GIT_HTTP_TIMEOUT=30 git pull >> /tmp/pull.log fi if [ -f "/tmp/$BASE/applications-tree.json" ]; then TREES=$TREES" /tmp/$BASE/applications-tree.json"