diff --git a/bin/git-pull-and-if-origin-changed-run-tests b/bin/git-pull-and-if-origin-changed-run-tests index 7eb86a66..b1742689 100755 --- a/bin/git-pull-and-if-origin-changed-run-tests +++ b/bin/git-pull-and-if-origin-changed-run-tests @@ -12,7 +12,7 @@ while true; do # check if the local branch differs from the remote branch if [ "$LOCAL" != "$REMOTE" ]; then - echo "pulling changes from origin" + echo "local $LOCAL differs from remote $REMOTE => pulling changes from origin" git pull origin $BRANCH # run the command @@ -23,6 +23,7 @@ while true; do echo "no changes detected on the origin branch" fi - echo "waiting for 1 minute before checking again..." - sleep 60 + echo -e "waiting for changes..." + sleep 10 + echo -e "\r\033[K" done