Рекомендую откатиться назад и удалить этот коммит. После чего залить изменения на сервер
git push -f
.
Затем все разработчики должны будут сделать следующее (для сохранения уже сделанных локальных коммитов):
git checkout master
git branch new-branch-to-save-current-commits
git fetch --all
git reset --hard origin/master
После этого с помощью
git cherry-pick
нужно перенести свои локальные коммиты в master.
PS: Имейте в виду, что если вы сейчас не избавитесь от этих больших файлов, то они останутся там навсегда и даже
git revert
не вычистит их из репозитория.