Re: error(?) in "man git-stash" regarding "--keep-index"

2018-05-19 Thread Sybille Peters
On 18.05.2018 19:14, Martin Ågren wrote: On 18 May 2018 at 17:43, Robert P. J. Day wrote: ... Ah, this is about saving to the stash vs stashing away. The latter is what `git stash` is all about -- stashing changes *away*. At least according to my mental model and the top of the man-page. S

Re: error(?) in "man git-stash" regarding "--keep-index"

2018-05-18 Thread Sybille Peters
My 2c on this: 1) "If the --keep-index option is used, all changes already added to the index are left intact" (manpage git stash) That appears to be correct and clear 2) "$ git stash push --keep-index    # save *all other* changes to the stash" (manpage git stash) That is either not corr