Por vezes enviamos um arquivo de forma indevida no git, seja por esquecer de colocar no .gitignore, ou por erro de digitação.
Nesses casos, é necessário remover o arquivo do histórico do git.
O comando git rm é utilizado para remover um arquivo do histórico do git.
Da Forma que é feita abaixo, ele remove o arquivo de todo o histórico do git. É importante ter em mente que o arquivo será removido do disco, não apenas do histórico do git.
Dependendo do tamanho do repositório, isso pode levar algum tempo.
$ git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file" HEAD
Se você subir sua modificação para o servidor:
$ git push --all
$ git push --all -f # para forçar o push