Prune this GIT repo?

[imagingbook]

Due to the large number of binary files, this repo has grown a lot over time. A full clone now requires around 650MB disk space, while the actual data is only about 33MB. So there is a LOT of unnecessary stuff hanging around.
Should we backup and prune this repository and only keep a short history?

[hochleitner]

I have no issues with that. I've been struggling a long time wether we should keep the PDFs in the repo at all but for preview's sake I guess it is necessary. Same with the zipped documents.

I have used the BFG Repo-Cleaner in the past to get rid of big files, it's an easy way to remove unwanted files.

[imagingbook]

Done - although some changes could not be pushed ("deny updating a hidden ref"). But the repo's size is now down to 66MB ...

[imagingbook]

You should do a fresh clone to avoid that old stuff is pushed back again.

[hochleitner]

Thanks, I did that. And since a fresh clone is needed anyway, I renamed the master branch to main to keep up with the recent discussions (see https://github.com/github/renaming).

[imagingbook]

OK, whatever difference it makes ...