doc: prefer 'stash push' over 'stash save'
commit0d5f844f0a6c73df21d5ce940082a1a034703a6e
authorPhil Hord <phil.hord@gmail.com>
Tue, 21 Nov 2017 23:05:23 +0000 (21 15:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 22 Nov 2017 04:40:25 +0000 (22 13:40 +0900)
treec5eab964b75e9f04b0caf7cb92263eb89a00207b
parentc0c0c825ce19963ded30919778a23c3c85662755
doc: prefer 'stash push' over 'stash save'

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

Signed-off-by: Phil Hord <phil.hord@gmail.com>
Reviewed-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-stash.txt