Merge branch 'mv/pull-r-for-rebase' into maint-1.7.11
authorJunio C Hamano <gitster@pobox.com>
Fri, 24 Aug 2012 19:05:47 +0000 (12:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 24 Aug 2012 19:05:47 +0000 (12:05 -0700)
commit1103996ea4680329baf3853984499b623c6da839
tree4d4dd4ffc2301150421655c41fdda8baab2a10c4
parentbdb30339f6dd122f27d4a6ffaeaa45b1c7e736e3
parentd9aa3610437e8cfab86fe3d1e3433400de15773d
Merge branch 'mv/pull-r-for-rebase' into maint-1.7.11

A minor documentation update.

* mv/pull-r-for-rebase:
  man: git pull -r is a short for --rebase