From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 14 Oct 2015 20:48:29 GMT
Subject: Re: repository corruption when pushing commits to a repository running 'git gc --prune='
Message-ID: <xmqqtwpt6usi.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <vpqmvvl8fb1.fsf@grenoble-inp.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> Looks good to me. I think the same should be added to git-prune.txt
> under --expire.

I thought about it, but decided against it, as the command is not
even recommended to end users.