This repository was archived by the owner on Mar 23, 2026. It is now read-only.
This repository was archived by the owner on Mar 23, 2026. It is now read-only.
Remove Manual Filtering #2
Description
We should use git-filter-tree instead of ad-hoc filtering.