On Thu, Apr 19, 2018 at 10:17 AM, Johannes Schindelin <johannes.schinde...@gmx.de> wrote:
> @@ -87,9 +88,13 @@ 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. See contrib/convert-grafts-to-replace-refs.sh for an > - example script based on this option that can convert grafts to > - replace refs. > + commit. Use `--convert-graft-file` to convert a > + `$GIT_DIR/info/grafts` file use replace refs instead. s/file use replace refs/file to use replace refs/ > +--convert-graft-file:: > + Creates graft commits for all entries in `$GIT_DIR/info/grafts` > + and deletes that file upon success. The purpose is to help users > + with transitioning off of the now-deprecated graft file. I wonder if it would be better to rename the file to "old_grafts" or something, and perhaps tell the user that we renamed it and it can now be either deleted or moved somewhere else. Thanks for working on this, Christian.
