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
