From: Jeff King <peff@peff.net>
Date: Fri, 24 Feb 2017 09:00:35 GMT
Subject: Re: [PATCH] docs/git-gc: fix default value for `--aggressiveDepth`
Message-ID: <20170224090035.ju7evvro7mixc52w@sigill.intra.peff.net>
In-Reply-To: <952cf1f2cb37b746d823f3b917bfb44171cbc465.1487925983.git.ps@pks.im>

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 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).

-Peff