From: Jeff King <peff@peff.net>
Date: Mon, 23 Oct 2017 00:39:22 GMT
Subject: Re: [PATCH v3 0/3] deprecate git stash save
Message-ID: <20171023003922.h3hr3y5ap2tk7byu@sigill.intra.peff.net>
In-Reply-To: <20171022170409.8565-1-t.gummerer@gmail.com>

On Sun, Oct 22, 2017 at 06:04:06PM +0100, Thomas Gummerer wrote:

> Thanks Peff for the review of the previous rounds.
> 
> In addition to addressing the review comments, this round adds another
> patch getting rid of the extra help with an unknown option to git
> stash push.

Yeah, the reasoning in the commit message of patch 3 makes sense to me.

> Thomas Gummerer (3):
>   replace git stash save with git stash push in the documentation
>   mark git stash push deprecated in the man page
>   stash: remove now superfluos help for "stash push"

The whole thing looks good. Thanks!

-Peff