Andras Timar wrote, On 5/10/10 10:05 AM: > Please git pull -r What does the -r option do? I tried git help pull, and man git and man git-pull and googling for git man pages on other platforms and none of them said anything about a -r option.