Hi everyone, git-filter-repo[1] is a tool for rewriting or restructuring git history. The recent Git Rev News article[2] on filter-repo introduced it and explained how it is much more versatile than git-filter-branch or BFG Repo Cleaner, and with speed comparable to BFG. (I probably also should have gone into more detail on how it is also much safer than filter-branch). I propose merging git-filter-repo.git into git.git. There was some previous discussion at [3], but the tool was incomplete and still under heavy development back then. Questions, comments, or concerns with this proposal? Alternative proposals? If inclusion is acceptable, are there any other tasks that need to be completed first? Thanks, Elijah [1] https://github.com/newren/git-filter-repo or https://github.com/newren/git-filter-repo/blob/master/Documentation/git-filter-repo.txt [2] https://git.github.io/rev_news/2019/08/21/edition-54/#an-introduction-to-git-filter-repo--written-by-elijah-newren [3] https://public-inbox.org/git/CABPp-BFC--s+D0ijRkFCRxP5Lxfi+__YF4EdxkpO5z+GoNW7Gg@xxxxxxxxxxxxxx/
