Re: [PATCH v2 1/2] replace git stash save with git stash push in the documentation

2017-10-22 Thread Thomas Gummerer
On 10/21, Jeff King wrote: > On Thu, Oct 19, 2017 at 07:33:03PM +0100, Thomas Gummerer wrote: > > > diff --git a/git-stash.sh b/git-stash.sh > > index 8b2ce9afda..16919277ba 100755 > > --- a/git-stash.sh > > +++ b/git-stash.sh > > @@ -267,11 +267,11 @@ push_stash () { > > # tra

Re: [PATCH v2 1/2] replace git stash save with git stash push in the documentation

2017-10-20 Thread Jeff King
On Thu, Oct 19, 2017 at 07:33:03PM +0100, Thomas Gummerer wrote: > diff --git a/git-stash.sh b/git-stash.sh > index 8b2ce9afda..16919277ba 100755 > --- a/git-stash.sh > +++ b/git-stash.sh > @@ -267,11 +267,11 @@ push_stash () { > # translation of "error: " takes in your langu