From 5147889fe8e3183db6ff6bc3072cdd5cd661e8d9 Mon Sep 17 00:00:00 2001 From: David Ansart Date: Wed, 15 Feb 2023 01:09:54 +0100 Subject: [PATCH] git-filter-repo : all commands use the same command "git filter-repo" instead of sometimes "git-filter-repo" (#9841) --- pages/common/git-filter-repo.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pages/common/git-filter-repo.md b/pages/common/git-filter-repo.md index 4d7c38839c..8c24259dec 100644 --- a/pages/common/git-filter-repo.md +++ b/pages/common/git-filter-repo.md @@ -10,12 +10,12 @@ - Extract a single folder, keeping history: -`git-filter-repo --path {{path/to/folder}}` +`git filter-repo --path {{path/to/folder}}` - Remove a single folder, keeping history: -`git-filter-repo --path {{path/to/folder}} --invert-paths` +`git filter-repo --path {{path/to/folder}} --invert-paths` - Move everything from sub-folder one level up: -`git-filter-repo --path-rename {{path/to/folder/:}}` +`git filter-repo --path-rename {{path/to/folder/:}}`