diff options
| author | Christian Couder <chriscool@tuxfamily.org> | 2014-07-19 17:01:11 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-07-21 12:05:53 -0700 |
| commit | b0ab2b71d0baa845e6920a3146df65f5cd296ea0 (patch) | |
| tree | 130af4c8c35e1cc3e2b72e306a8ceeaa65fcb8b4 /Documentation/git-replace.txt | |
| parent | 78024c4e31d04cd2bdc0d734ede2d24bb33c72ef (diff) | |
| download | git-b0ab2b71d0baa845e6920a3146df65f5cd296ea0.tar.gz | |
contrib: add convert-grafts-to-replace-refs.sh
This patch adds into contrib/ an example script to convert
grafts from an existing grafts file into replace refs using
the new --graft option of "git replace".
While at it let's mention this new script in the
"git replace" documentation for the --graft option.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-replace.txt')
| -rw-r--r-- | Documentation/git-replace.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/git-replace.txt b/Documentation/git-replace.txt index 491875e77d..e1be2e6270 100644 --- a/Documentation/git-replace.txt +++ b/Documentation/git-replace.txt @@ -79,7 +79,9 @@ OPTIONS content as <commit> except that its parents will be [<parent>...] instead of <commit>'s parents. A replacement ref is then created to replace <commit> with the newly created - commit. + commit. See contrib/convert-grafts-to-replace-refs.sh for an + example script based on this option that can convert grafts to + replace refs. -l <pattern>:: --list <pattern>:: |