git filter-repo, и тогда вообще в истории не останется следов от ненужного файла. Но это получится фактически НОВЫЙ локальный репозиторий и его придётся удалить во всех внешних серверах и заливать заново.
git add .
git rebase -i HEAD^ и там склеивай.git push --all --force
git branch имя_новой_ветки # Создадим новую ветку,
# которая будет указывать на твои новые свежие правки.
# Мы просто сохранили ссылку на твою работу, не не переключаемся на новую ветку,
# чтобы следующей командой вернуть master в правильное состояние.
git reset --hard origin/master # Откатим ветку master до первоначального состояния
# на момент последнего git pull