pull: remove redirection to git-pull.sh