A few sections of the repository history need to be rewritten in order to clear out datasets that were written at various points in time. This includes datasets which are now on boost-starai/BoostSRL-Misc and others which are still be removed from the master branch of this repo.
Clearing out large files
A few sections of the repository history need to be rewritten in order to clear out datasets that were written at various points in time. This includes datasets which are now on
boost-starai/BoostSRL-Misc
and others which are still be removed from the master branch of this repo.This can be done fairly easily with the bfg-repo-cleaner.
Overview of steps (after downloading the jar):
Clone a mirror of the repository (i.e. just the
.git
contents):git clone --mirror https://github.com/boost-starai/BoostSRL.git
Use the bfg to delete the contents of SampleTestbeds:
java -jar bfg.jar --delete-folders SampleTestbeds --no-blob-protection BoostSRL.git/
Reflog and cleanup:
git reflog expire --expire=now --all && git gc --prune=now --aggressive
git reflog expire --expire=now
: Prune entries older than now from references.--prune=now
: Prune entries older than now from repository.--aggressive
: aggressively optimize the repository at the expense of taking much more time.