Merge branch 'pt/pull-builtin'
commit1311587d96e0bff17a34dc9bb9ad27c3abdacdbc
authorJunio C Hamano <gitster@pobox.com>
Wed, 14 Oct 2015 21:30:20 +0000 (14 14:30 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 14 Oct 2015 21:30:21 +0000 (14 14:30 -0700)
tree9d777b0fd6679d92d38d2aa3d09da25b96486bd6
parentc35acb632c70ef0fdc8b741350094907f1938e88
parentb7447679e84ed973430ab19fce87f56857b83068
Merge branch 'pt/pull-builtin'

* pt/pull-builtin:
  merge: grammofix in please-commit-before-merge message
contrib/examples/git-pull.sh