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)
A minor documentation update.

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


Trivial merge