Wpis z mikrobloga

@introligat0r: nie, nadal będą w repozytorium. W skrócie powinieneś wyedytować wcześniejszy commit dodając do niego gitignora i usuwając owe pliki (

git commit --ammend
się kłania na dokładkę do

git rebase -i HEAD~X
, X = np. 5). Jak już wyedytujesz to lokalnie, to robisz push'a z

--force
.
Nie rob git rm, bo usuniesz sobie pliki z working copy, czyli z dysku. Zrób git rm --cached to usuniesz tylko z working tree, czyli repozytorium (choć w historii zostaną).