Merge branch 'mv/pull-r-for-rebase'
authorJunio C Hamano <gitster@pobox.com>
Wed, 22 Aug 2012 18:53:31 +0000 (11:53 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Aug 2012 18:53:31 +0000 (11:53 -0700)
commit88cec243a3bdfdd7dd93a6b6b0ce3bd84a731c84
tree22a09175187124962ad383bcdaad396ad8350a13
parent210106b4255b0ec314d160fef15bb38af119e4f3
parentd9aa3610437e8cfab86fe3d1e3433400de15773d
Merge branch 'mv/pull-r-for-rebase'

A minor documentation update.

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