git slimming, introduction to BFG Repo-Cleaner

Permanently delete large files in git with the bfg.jar tool.

The tool location is https://rtyley.github.io/bfg-repo-cleaner/, and it is also very simple to use.

$ git clone --mirror git://example.com/some-big-repo.git

$ java -jar bfg.jar --strip-blobs-bigger-than 100M some-big-repo.git

$ cd some-big-repo.git
$ git reflog expire --expire=now --all && git gc --prune=now --aggressive

$ git push