Re: slight addition to t.gummerer's proposed "git stash" patch

2017-10-16 Thread Thomas Gummerer
On 10/11, Robert P. J. Day wrote: > On Wed, 11 Oct 2017, Thomas Gummerer wrote: > > > On 10/11, Robert P. J. Day wrote: > > > > > > was perusing thomas gummerer's proposed "git stash" patch here: > > > > > > https://www.spinics.net/lists/git/msg313993.html > > > > > > and i'd make one more

Re: slight addition to t.gummerer's proposed "git stash" patch

2017-10-11 Thread Robert P. J. Day
On Wed, 11 Oct 2017, Thomas Gummerer wrote: > On 10/11, Robert P. J. Day wrote: > > > > was perusing thomas gummerer's proposed "git stash" patch here: > > > > https://www.spinics.net/lists/git/msg313993.html > > > > and i'd make one more change -- i'd separate the OPTIONS entries for > > "git

Re: slight addition to t.gummerer's proposed "git stash" patch

2017-10-11 Thread Thomas Gummerer
On 10/11, Robert P. J. Day wrote: > > was perusing thomas gummerer's proposed "git stash" patch here: > > https://www.spinics.net/lists/git/msg313993.html > > and i'd make one more change -- i'd separate the OPTIONS entries for > "git stash push" and "git stash save" so they don't end up

slight addition to t.gummerer's proposed "git stash" patch

2017-10-11 Thread Robert P. J. Day
was perusing thomas gummerer's proposed "git stash" patch here: https://www.spinics.net/lists/git/msg313993.html and i'd make one more change -- i'd separate the OPTIONS entries for "git stash push" and "git stash save" so they don't end up being rendered all crushed together when displaying