diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-04-29 00:44:53 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-04-30 11:12:31 +0900 |
| commit | e2d65c1ea810f34681c3f3aba03c58b6e8484b3f (patch) | |
| tree | 0088cc007508000878fde63f68dcd5c5281c3993 /Documentation/git-filter-branch.txt | |
| parent | f9f99b3f7d06716336b239bcf122eb5a7348bfd5 (diff) | |
| download | git-e2d65c1ea810f34681c3f3aba03c58b6e8484b3f.tar.gz | |
filter-branch: stop suggesting to use grafts
The graft file is deprecated now, so let's use replace refs in the example
in filter-branch's man page instead.
Suggested-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
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 b634043183..1d4d2f8604 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -288,7 +288,7 @@ git filter-branch --parent-filter \ or even simpler: ----------------------------------------------- -echo "$commit-id $graft-id" >> .git/info/grafts +git replace --graft $commit-id $graft-id git filter-branch $graft-id..HEAD ----------------------------------------------- |