pull: teach git pull about --rebase