I am trying to delete some big file (512MB) from my repo. As I noticed git rm bigfile
removes file only from recent commint.
So I found some command: git filter-branch --index-filter 'rm -f bigfile' -- --all
. And it succefully deleted file from all commits.
But repo still has big size du -hs .
reports 512MB. There is some file in .git/objects/pack/pack-a8e5a5ed17f31ed45ea7f387245265206e4f4c39.pack
which has 512MB. Is it safe to delete it manually or is there some git command how to clear it?