On Tue, Oct 20, 2020 at 1:33 AM Christian Couder <christian.couder@xxxxxxxxx> wrote: > > The name of the tool is 'git-filter-repo' not > 'git-repo-filter'. Thanks for catching the mistake. Reviewed-by: Elijah Newren <newren@xxxxxxxxx> > Signed-off-by: Christian Couder <chriscool@xxxxxxxxxxxxx> > --- > Documentation/git-filter-branch.txt | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt > index 40ba4aa3e6..62e482a95e 100644 > --- a/Documentation/git-filter-branch.txt > +++ b/Documentation/git-filter-branch.txt > @@ -532,7 +532,7 @@ The https://github.com/newren/git-filter-repo/[git filter-repo] tool is > an alternative to git-filter-branch which does not suffer from these > performance problems or the safety problems (mentioned below). For those > with existing tooling which relies upon git-filter-branch, 'git > -repo-filter' also provides > +filter-repo' also provides > https://github.com/newren/git-filter-repo/blob/master/contrib/filter-repo-demos/filter-lamely[filter-lamely], > a drop-in git-filter-branch replacement (with a few caveats). While > filter-lamely suffers from all the same safety issues as > -- > 2.29.0.rc1 >
