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 | |
| parent | Git 2.24 (diff) | |
| download | tgif-a6d39f2efbdf5f8daceaf7bfa9a1b32c2a9cdafa.tar.xz | |
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')
| -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 |