From: Jeff King <peff@peff.net>
Date: Tue, 17 Oct 2017 04:14:05 GMT
Subject: Re: [PATCH 2/1] mention git stash push first in the man page
Message-ID: <20171017041405.eavuutzgzgs4ppk2@sigill.intra.peff.net>
In-Reply-To: <20171005201029.4173-1-t.gummerer@gmail.com>

On Thu, Oct 05, 2017 at 09:10:29PM +0100, Thomas Gummerer wrote:

> Because 'stash push' and 'stash save' are so closely related they share one
> section in the man page.  Currently 'stash save' comes first, as that
> was the command that people were historically using.  However this makes
> the newer, more feature rich git stash push very easy to overlook.
> Change the order to give the newer interface for creating a stash the
> more prominent position.

Seems reasonable, though if we are deprecating "save" should we demote
it from being in the synopsis entirely?

-Peff