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

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

2017-10-19 Thread Thomas Gummerer
git stash push is the newer interface for creating a stash. While we are still keeping git stash save around for the time being, it's better to point new users of git stash to the more modern (and more feature rich) interface, instead of teaching them the older version that we might want to phase