fix git/pull.sh