******************************
How-to shrink a Git repository
******************************

First, run `git_big_files.sh` inside the repo.

It will list the biggest files. Change the number of files displayed in the
script if you want (default: 50).

Then, change the `git_shrink_xivo-skaro.sh` and write the files or directories
you want to remove.

Then run `git_shrink_xivo_skaro.sh`. It might take some time.

Get out of the repo and run::

   $ git_clone_prune.sh old_repo new_repo

Then the `new_repo` has its history stripped from the given files.
