Merge branch 'jn/doc-pull' into maint
commit1e627881465dbb47eeea85aa729dd4261216ff1b
authorJunio C Hamano <gitster@pobox.com>
Fri, 20 Aug 2010 19:53:08 +0000 (20 12:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 20 Aug 2010 19:53:08 +0000 (20 12:53 -0700)
tree1c01a5037e3c9adc233af0d2a53fef1e46928682
parent0fd26f4830ef6bc0a45866782c2d02526ebc817b
parent3f8fc184c0e2cdc90002cf9a5c11353fe623df23
Merge branch 'jn/doc-pull' into maint

* jn/doc-pull:
  Documentation: flesh out “git pull” description