improve the logging in src/do_pull.sh