RFC: Proposing git-filter-repo for inclusion in git.git

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@mail.gmail.com/