Как выполнить удаление файла из истории, и сжать размер репозитория?
Добрый день.
Занялся чисткой репозитория, когда-то для переноса между машинами, в репу были добавлены видеофайлы.
нашел, что для удаления файла из истории, мне можно выполнить команду
git filter-branch --index-filter 'git rm --cached --ignore-unmatch ' и файл будет полностью удален из истории.
сделал, при просмотре изменений (смотрю gitk) упоминаний о файлах больше нет, НО..... размер директории .git как был, 27 МБ, так и остался... То есть, файл как был в репе, так и остался (он 25 МБ).
Отсюда вопросы:
1. - как реально сжать репу
2. - как эти изменения потом отправить на сервер?
