Как удалить большой файл, ошибочно зафиксированный в git [duplicate]

Возможный дубликат:
Как удалить огромный файл из истории коммитов в Git?

Я сделал глупость. Представьте, что я зафиксировал файл размером 100 МБ. Затем я вижу это, удаляю этот файл и снова фиксирую. Это нормальная процедура удаления файла.

Но теперь побочным эффектом является то, что моя история тяжелая, потому что она сохранила этот большой файл (я думаю, поэтому он тяжелый). Я использую только локальный git, поэтому я не синхронизируюсь ни на одном сервере.

Как я могу окончательно удалить этот файл и сэкономить место на диске?