diff options
| author |  Christian Couder <christian.couder@gmail.com> | 2020-10-20 10:33:43 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-10-20 12:22:25 -0700 |
| commit | 3e0a5dc9afdea68a9e90af2636d93327e77df0d1 (patch) | |
| tree | f7d66f8aaaf2c49bdfcdcdc1e53ab376103d6d1a | |
| parent | Git 2.28 (diff) | |
| download | tgif-3e0a5dc9afdea68a9e90af2636d93327e77df0d1.tar.xz | |
filter-branch doc: fix filter-repo typo
The name of the tool is 'git-filter-repo' not
'git-repo-filter'.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Reviewed-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/git-filter-branch.txt | 2 |
1 files changed, 1 insertions, 1 deletions
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 |