Когда я только начинал работу с git, я делал глупость - добавлял в коммит бинарные файлы. С тех пор проект разросся до 300 Мб, и делать git clone стало долго. Я воспользовался утилитой bfg и удалил файлы >1 Мб, затем сделал git gc –aggressive –prune=now, что позволило уменьшить размер локального репозитория до 18 Мб. Это позволило сохранить историю (что я и хочу сделать). git push -f, однако, не привело к удалению неиспользуемых файлов с удаленного репозитория (GitHub). Как мне полностью синхронизировать файлы?