Merge branch 'jn/doc-pull'
authorJunio C Hamano <gitster@pobox.com>
Fri, 13 Aug 2010 01:32:37 +0000 (18:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 13 Aug 2010 01:32:37 +0000 (18:32 -0700)
* jn/doc-pull:
  Documentation: flesh out “git pull” description


Trivial merge