Re: [PATCH v2 2/2] mark git stash push deprecated in the man page

2017-10-22 Thread Thomas Gummerer
On 10/21, Jeff King wrote: > On Thu, Oct 19, 2017 at 07:33:04PM +0100, Thomas Gummerer wrote: > > > '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 de

Re: [PATCH v2 2/2] mark git stash push deprecated in the man page

2017-10-20 Thread Jeff King
On Thu, Oct 19, 2017 at 07:33:04PM +0100, Thomas Gummerer wrote: > '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 th