pull: remove redirection to git-pull.sh
[git] / contrib / examples / git-pull.sh
2015-06-18  Paul Tanpull: remove redirection to git-pull.sh