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