I have added and subsequently removed a binary file (path "ACHThesis/preamble.fmt"
) from my git repository using the method as outlined in Update a development team with rewritten Git repo history, removing big files . As suggested by the gitbook I also ran
rm -Rf .git/refs/original
rm -Rf .git/logs/
git gc
Indeed, the large file no longer appears to be referenced by any commits, as shown by
git log --pretty=oneline -- ACHThesis/preamble.fmt
(no output)
However, when I look at the biggest file in the repository with
git verify-pack -v .git/objects/pack/pack-6136e671bba3772bdf40ba3306aa249d654
0a117.idx | sort -k 3 -n | tail -1
e4cf847b6815c9833d04f9a449286112718a3926 blob 6771554 2414394 6791333
and look at its identity
$ git rev-list --objects --all | grep e4cf
e4cf847b6815c9833d04f9a449286112718a3926 ACHThesis/preamble.fmt
the binary file is clearly still present. How can I remove it ?
Questions I have looked at but which have not helped