man: git pull -r is a short for --rebase