Réinitialiser un fichier, géré par Git, qui bloque un « git pull »

Il peut arriver, pour tout un tas de raisons, que certaines modifications locales d’un fichier (même mineures) bloquent un « git pull ». Vous aurez alors ce genre de messages :

 Your local changes to the following files would be overwritten by merge:
        wp-content/themes/immobilier-de-lyon/functions.php

Si vous souhaitez réinitialiser ce fichier pour qu’il revienne à la version courante disponible sur Git, il suffit de taper la commande suivante :

git checkout le/chemin/de/votre/fichier

Vous pouvez également utiliser une étoile (*) pour réinitialiser tous les fichiers d’un répertoire, ou indiquer plusieurs noms à la suite (comme de nombreuses commandes du shell Linux)