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

Junio C Hamano committed Aug 22, 2012 at 11:53 UTC 88cec243a3bdfdd7dd93a6b6b0ce3bd84a731c84

No changes.