Comment supprimer un fichier poussé de git

git checkout HEAD^ -- /path/to/file
Old-fashioned Owl