Re: [PATCH] docs/git-gc: fix default value for `--aggressiveDepth`

2017-02-24 Thread Junio C Hamano
Jeff King writes: > On Fri, Feb 24, 2017 at 09:46:45AM +0100, Patrick Steinhardt wrote: > >> In commit 07e7dbf0d (gc: default aggressive depth to 50, 2016-08-11), >> the default aggressive depth of git-gc has been changed to 50. While >> git-config(1) has been updated to represent the new default

Re: [PATCH] docs/git-gc: fix default value for `--aggressiveDepth`

2017-02-24 Thread Jeff King
On Fri, Feb 24, 2017 at 09:46:45AM +0100, Patrick Steinhardt wrote: > In commit 07e7dbf0d (gc: default aggressive depth to 50, 2016-08-11), > the default aggressive depth of git-gc has been changed to 50. While > git-config(1) has been updated to represent the new default value, > git-gc(1) still

[PATCH] docs/git-gc: fix default value for `--aggressiveDepth`

2017-02-24 Thread Patrick Steinhardt
In commit 07e7dbf0d (gc: default aggressive depth to 50, 2016-08-11), the default aggressive depth of git-gc has been changed to 50. While git-config(1) has been updated to represent the new default value, git-gc(1) still mentions the old value. This patch fixes it. Signed-off-by: Patrick Steinhar