So entfernen Sie eine gedrückte Datei von Git

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