Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-21 Thread Robert P. J. Day
On Sat, 21 Oct 2017, Jeff King wrote: > On Fri, Oct 20, 2017 at 04:04:10AM -0400, Robert P. J. Day wrote: > > > > > I don't think there's any reason to go slow in marking something as > > > > deprecated. It's the part where we follow up and remove or change the > > > > feature that must take a

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-21 Thread Jeff King
On Fri, Oct 20, 2017 at 04:04:10AM -0400, Robert P. J. Day wrote: > > > I don't think there's any reason to go slow in marking something as > > > deprecated. It's the part where we follow up and remove or change the > > > feature that must take a while. > > > > Makes sense, let me drop it from

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-20 Thread Robert P. J. Day
On Thu, 19 Oct 2017, Thomas Gummerer wrote: > On 10/17, Jeff King wrote: > > On Tue, Oct 17, 2017 at 10:45:15PM +0100, Thomas Gummerer wrote: > > > > > > Seems reasonable, though if we are deprecating "save" should we demote > > > > it from being in the synopsis entirely? > > > > > > I saw that

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-19 Thread Thomas Gummerer
On 10/17, Jeff King wrote: > On Tue, Oct 17, 2017 at 10:45:15PM +0100, Thomas Gummerer wrote: > > > > Seems reasonable, though if we are deprecating "save" should we demote > > > it from being in the synopsis entirely? > > > > I saw that as a next step, with the "official" deprecation of "save".

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-17 Thread Jeff King
On Tue, Oct 17, 2017 at 10:45:15PM +0100, Thomas Gummerer wrote: > > Seems reasonable, though if we are deprecating "save" should we demote > > it from being in the synopsis entirely? > > I saw that as a next step, with the "official" deprecation of "save". > I thought we might want to advertise

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-17 Thread Thomas Gummerer
On 10/17, Jeff King wrote: > 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

Re: [PATCH 2/1] mention git stash push first in the man page

2017-10-16 Thread Jeff King
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

[PATCH 2/1] mention git stash push first in the man page

2017-10-05 Thread Thomas Gummerer
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