Re: doc: prefer 'stash push' over 'stash save'

You probably already noticed this was my fault for filtering the patch
through Gmail's GUI.  I did also push a replacement which hopefully
does apply.

On Tue, Nov 21, 2017 at 8:39 PM, Junio C Hamano [off-list ref] wrote:

Jonathan Nieder [off-list ref] writes:

quoted

Phil Hord wrote:

quoted

Although `git stash save` was deprecated recently, some parts of the
documentation still refer to it instead of `push`.

Signed-off-by: Phil Hord <redacted>
---
 Documentation/git-stash.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Reviewed-by: Jonathan Nieder <redacted>
Thanks.

Heh, this does not even apply to 8be661007 that it claims to apply
on top of, which is contained in fd2ebf14 ("stash: mark "git stash
save" deprecated in the man page", 2017-10-22).

I've wiggled it in, so there is no need to resend, but next time
please be careful when sending the patch and also when sending a
reviewed-by.