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

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

Submitted-As: https://lore.kernel.org/git/pull.652.v2.git.1591662224566.gitgitgadget@gmail.com
In-Reply-To: https://lore.kernel.org/git/pull.652.git.1591581739031.gitgitgadget@gmail.com