unstage: si fichier déja ajouté à l'index (git add)

git reset HEAD <file>

rétablir un fichier non commité

git checkout <file>

rétablir un fichier commité

git checkout -- <file>

pense bête: j'ai tendance à vouloir utiliser 'git reset' par réflexe pour restaurer un seul fichier, mais ça ne marche PAS.
Il faut utiliser:
git checkout filename # fichier non commité
ou
git checkout -- filename # fichier commité
suivant que le fichier a été commité ou non

Problème:
$ git pull
remote: Counting objects: 9, done.
remote: Compressing objects: 100% (6/6), done.
remote: Total 6 (delta 4), reused 2 (delta 0)
Unpacking objects: 100% (6/6), done.
From https://github.com/sebsauvage/Shaarli
246e9b4..7b2186a master -> origin/master
Updating 246e9b4..7b2186a
error: Your local changes to the following files would be overwritten by merge:
index.php
Please, commit your changes or stash them before you can merge.
Aborting

Solution:
$ git reset --hard FETCH_HEAD