Closed tigerfoot closed 9 years ago
Cleaning the image isn't hard: git rm -r <folder>
.
It is possible to clean a repo using git filter-branch --tree-filter
. However, as I stated here, the history gets rewritten and commits get a new hash. This means, we won't be able to do pull requests (you can test on a fresh fork if you wish). In theory, we could export the commits we want as patches and then apply them in the public fork and do likewise to get the latest modifications from upstream but this is incredibly unpractical.
Let's us ask this question with upstream. Better if the cleanup is done there.
There's 2047 files totalising 128MB of legend data, which are specific to swisstopo/admin.ch Those need to be purged. Question : how to clean up .git at the same time.