Мне нужно сделать репо меньше. Я думаю, что я могу уменьшить его, удалив проблемные двоичные файлы из истории git:
git filter-branch --index-filter 'git rm --cached --ignore-unmatch BigFile'
И затем освобождение объектов:
rm -rf .git/refs/original/
git reflog expire --expire=now --all
git gc --aggressive --prune=now
(Не стесняйтесь комментировать, если эти команды ошибочны.)
Проблема: как определить эти большие файлы, чтобы я мог осмелиться удалить их из истории git? Скорее всего, они больше не находятся в рабочем дереве - они были удалены и, вероятно, также не отслеживаются:
git rm --cached BigFile