I have always done `git pull origin main -r`