diff options
| author | Elijah Newren <newren@gmail.com> | 2019-11-05 23:31:30 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-11-07 14:40:47 +0900 |
| commit | a6d39f2efbdf5f8daceaf7bfa9a1b32c2a9cdafa (patch) | |
| tree | 15c783d6f55bd0410839a8c056b0946b59c6009d /Documentation/git-filter-branch.txt | |
| parent | da72936f544fec5a335e66432610e4cef4430991 (diff) | |
| download | git-a6d39f2efbdf5f8daceaf7bfa9a1b32c2a9cdafa.tar.gz | |
git-filter-branch.txt: correct argument name typo
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-filter-branch.txt')
| -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 5876598852..1ba4667b12 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -649,7 +649,7 @@ create hoards of confusing empty commits commits from before the filtering operation are also pruned instead of just pruning commits that became empty due to filtering rules. -* If --prune empty is specified, sometimes empty commits are missed +* If --prune-empty is specified, sometimes empty commits are missed and left around anyway (a somewhat rare bug, but it happens...) * A minor issue, but users who have a goal to update all names and |