Closed andymeneely closed 9 years ago
Maybe use Git filter-branch, or just use a patch series to remove the big file from the git history. The commits that introduced the file was 988433b5d45d29ce1b0223671eb6ac2526b39bf0 and then 75fd2f40f253a44a26c7b24324d2d7e714a5aaec removed it.
Eh, we don't need to do this. The repo didn't grow that much.
Maybe use Git filter-branch, or just use a patch series to remove the big file from the git history. The commits that introduced the file was 988433b5d45d29ce1b0223671eb6ac2526b39bf0 and then 75fd2f40f253a44a26c7b24324d2d7e714a5aaec removed it.