git-filter-repo : all commands use the same command "git filter-repo" instead of sometimes "git-filter-repo" (#9841)

pull/3/head
David Ansart 2023-02-15 01:09:54 +01:00 committed by GitHub
parent 4e6e06483e
commit 5147889fe8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -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/:}}`