Как вы думаете стоит ли этим заниматься или лучше заняться чем нибудь другим?
Как удалить?
git rm -f <имя файла>
git commit
git pushgit rebase -i <ревизия в которой файл был добавлен>~1
<пометить самый первый коммит для редактирования заменив peek на e>
git rm -f <имя файла>
git commit --amend
git rebase --continue
git push