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

Jeff King [off-list ref] writes:

On Fri, Feb 24, 2017 at 09:46:45AM +0100, Patrick Steinhardt wrote:

quoted

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.

Thanks, this is obviously an improvement.

(I also grepped for "250" in Documentation; the results are thankfully
short, and the only other mentions I saw were referring to the window
size).

Thanks, both.  Will queue.