git pull analogous to / opposite of git push -f? [duplicate] June 1, 2023 by Tarik git fetch git reset --hard origin/master