la réécriture d'historique c le mal, surtout quand on travaille a plusieurs sur le même repo!! </gratuit

>
sinon pour pas écraser des modifs locales temporairement:
git stash save
ca devient tout propre on peut faire son git pull origin master
ensuite git stash pop remet les modifs non committées par dessus les commits récupérés (ca peut foirer comme un merge bien sur)
le stash fonctionne comme un FIFO on peut faire save/pop plusieurs fois
si on veut juste détruire les modifs sauvées y'a git stash clear (ou clean chais plus), parfois ca va plus vite que toute une série de git checkout -- <fichier>
