Re: [PATCH v2] gc: recommend `git gc --prune=now` instead of `git prune`

From: Junio C Hamano <gitster@pobox.com>
Date: Jun 9, 2020, 16:03 UTC
Message-ID: <xmqqa71ci5vd.fsf@gitster.c.googlers.com>
In-Reply-To: <87bllsa47u.fsf@evledraar.gmail.com>

Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:

Show 18 quoted lines

> On Tue, Jun 09 2020, John Lin via GitGitGadget wrote:
>
>> From: John Lin <johnlinp@gmail.com>
>>
>> `git prune` is a plumbing command and should not be run directly by
>> users. The corresponding porcelain command is `git gc`, which is
>> mentioned in the man page of `git prune`.
>
> This change feels incomplete without a change to git-prune's
> documentation, see 8d308b3540 ("Documentation: point git-prune users to
> git-gc", 2008-04-29).
>
> I.e. it still talks about "in most cases you shouldn't run this", but
> here we are removing a case where it would otherwise make sense because
> the user shouldn't use it directly.
>
> I think instead the small change that makes the most sense here is to
> just add "prune" to completions,...

That's perfectly reasonable stance to take.