From: Denton Liu <liu.denton@gmail.com>
Date: Mon, 08 Jun 2020 10:17:20 GMT
Subject: Re: [PATCH] Recommend "git gc --prune=now" instead of "git prune"
Message-ID: <20200608101720.GA33389@generichostname>
In-Reply-To: <pull.652.git.1591581739031.gitgitgadget@gmail.com>

Hi John,

Thanks for working on this topic.

On Mon, Jun 08, 2020 at 02:02:18AM +0000, John Lin via GitGitGadget wrote:
> Subject: [PATCH] Recommend "git gc --prune=now" instead of "git prune"

The format for subjects is generally "<area>: <description>" so perhaps
something like "git gc: recommend use of `git gc --prune=now`"?

> From: John Lin <johnlinp@gmail.com>
> 
> Signed-off-by: John Lin <johnlinp@gmail.com>

This commit is missing some justification. In the commit message, we
should mention that `git prune` is a plumbing command and in the
documentation for it, it mentions that the porcelain `git gc` command
should be used instead.