How to do git pull -f
3 answers
In addition to the other answers, I would also add git clean -fdx
to remove all non-reproducible files and directories to avoid potential problems with adding files to the remote repository, but also present in the current clone.
git clean -fdx
git fetch
git reset --hard origin/master
+9
source to share