Как правильно удалить файл из git?

Question

[Денис Букреев]

Случайно забыл засунуть папку video в .gitignore и 250метровый видос улетел прямиком в репозиторий, утяжелив его в десяток раз.

Как удалить этот файл так, чтобы он и из репозитория ушел полностью?

Answer 1

[Oblfakir]

git log -> git reset "хеш коммита до того коммита с видосом" -> git add "Все файлы кроме видоса" -> git commit -m "message" -> git push --force origin "ветка"