stash: replace "git stash save" with "git stash push" in the documentation
authorThomas Gummerer <t.gummerer@gmail.com>
Sun, 22 Oct 2017 17:04:07 +0000 (18:04 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 27 Oct 2017 00:58:38 +0000 (09:58 +0900)
"git stash push" is the newer interface for creating a stash. While we
are still keeping "git stash save" around for the time being, it's better
to point new users of "git stash" to the more modern (and more feature
rich) interface, instead of teaching them the older version that we
might want to phase out in the future.

Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found