From: Junio C Hamano Date: Fri, 24 Feb 2017 17:49:06 GMT Subject: Re: [PATCH] docs/git-gc: fix default value for `--aggressiveDepth` Message-ID: In-Reply-To: <20170224090035.ju7evvro7mixc52w@sigill.intra.peff.net> 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 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.