If you (like me) occasionally have a pull that needs refreshing but have somehow mucked up the configs, you can use this very forceful method to “reset” the pull:

git reset --hard HEAD
git pull

…Get back