Interessante esta dica que eu achei neste blog aqui. O git, de acordo com a dica, possui uma função de forçar o push ( git push -f remote branch ), mas por incrível que pareça não tem uma função de forçar o pull ( como git pull -f remote branch ).
Mas esta sucessão de comandos faz este mesmo trabalho :
% git fetch remote branch
% git reset --hard FETCH_HEAD
% git clean -df
Aí o cara criou uma função para o shell ( bash/zsh ) que faz o trabalhinho sujo acima :-)
Espero que seja útil para alguém. Eu pelo menos gostei para caramba e já está no meu set de configurações do meu ambiente :-)