Re: [PATCH] diff: --indent-heuristic is no longer experimental

2017-11-01 Thread Junio C Hamano
Junio C Hamano writes: > Carlos Martín Nieto writes: > >> This heuristic has been the default since 2.14 so we should not confuse our >> users by saying that it's experimental and off by default. >> >> Signed-off-by: Carlos Martín Nieto >> --- >>

Re: [PATCH] diff: --indent-heuristic is no longer experimental

2017-10-31 Thread Junio C Hamano
Carlos Martín Nieto writes: > This heuristic has been the default since 2.14 so we should not confuse our > users by saying that it's experimental and off by default. > > Signed-off-by: Carlos Martín Nieto > --- > Documentation/diff-heuristic-options.txt | 5 - >

Re: [PATCH] diff: --indent-heuristic is no longer experimental

2017-10-30 Thread Junio C Hamano
Carlos Martín Nieto writes: > This heuristic has been the default since 2.14 so we should not confuse our > users by saying that it's experimental and off by default. > > Signed-off-by: Carlos Martín Nieto > --- Good eyes. Nobody raised noises since this happened

Re: [PATCH] diff: --indent-heuristic is no longer experimental

2017-10-30 Thread Stefan Beller
On Sun, Oct 29, 2017 at 8:12 AM, Carlos Martín Nieto wrote: > This heuristic has been the default since 2.14 so we should not confuse our > users by saying that it's experimental and off by default. > > Signed-off-by: Carlos Martín Nieto Looks good to me, Thanks,

[PATCH] diff: --indent-heuristic is no longer experimental

2017-10-29 Thread Carlos Martín Nieto
This heuristic has been the default since 2.14 so we should not confuse our users by saying that it's experimental and off by default. Signed-off-by: Carlos Martín Nieto --- Documentation/diff-heuristic-options.txt | 5 - Documentation/diff-options.txt | 7 ++- 2