Как убрать из git-репозитория определённый файл/каталог, вычистив его из всех комиттов?
Цель - компактификация, своеобразный shrink бинарных файлов из .git/ и objects/
Нашёл какое-то мутное длинное объяснение на Stackoverflow: https://stackoverflow.com/questions/2100907/how-to-remove-delete-a-large-file...
Я так понял, самый простой способ - это такой:
git filter-branch --index-filter 'git rm -rf --cached --ignore-unmatch path_to_file' HEAD
