Re: [PATCH] Recommend "git gc --prune=now" instead of "git prune"
- From
Denton Liu <liu.denton@gmail.com>
- Date
- Jun 8, 2020, 10:17 UTC
- 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.