stash: mark "git stash save" deprecated in the man page
commitfd2ebf14db52cc41e1cd39b1532d03cb1a702d47
authorThomas Gummerer <t.gummerer@gmail.com>
Sun, 22 Oct 2017 17:04:08 +0000 (22 18:04 +0100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 27 Oct 2017 00:59:11 +0000 (27 09:59 +0900)
treebb6cd90d4f8d02a83ad73834f2f13e7b9240b0e8
parentdb37745eef62c57e1609cbd50c6dbf9a8066f191
stash: mark "git stash save" deprecated in the man page

'git stash push' fixes a historical wart in the interface of 'git stash
save'.  As 'git stash push' has all functionality of 'git stash save',
with a nicer, more consistent user interface deprecate 'git stash
save'.  To do this, remove it from the synopsis of the man page, and
move it to a separate section, stating that it is deprecated.

Helped-by: Robert P. J. Day <rpjday@crashcourse.ca>
Helped-by: Jeff King <peff@peff.net>
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-stash.txt