Como remover arquivos de um repositório no git - linha de comando

Vamos imaginar que na hora de você subir alguma alteração no seu git, sem querer, subiu algum arquivo que não precisava!

Como faz pra tirar ele depois que já está no seu repositório?

Vamos dizer você quer retirar o arquivo3.db do seu repositório, basta você executar o comando:

git rm arquivo3.db --cached

No terminal, ficará mais ou menos assim:

A partir daí, você pode dar o git add, commit, push.. Como geralmente fazemos..
Mas caso queira deixar o seu histórico de commit "menos bagunçado" podemos usar o amend.
Segue exemplo dos comandos:

git add .

git commit --amend --no-edit

git push --force

Na imagem a baixo, ilustro melhor para entender sobre o histórico:

Então conseguimos retirar o arquivo que subimos por engano sem sujar o nosso histórico :)