fix git/run-pull.sh