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

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

> Junio C Hamano <gitster@pobox.com> writes:
>
>> 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.
>
> Even non-"end users" can shoot themselves in the foot. Someone writting
> a script using "git prune" may actually shoot in other people's foot ...

Sure, patches welcome.

To be honest, I felt that

    --expire <time>::
            Only expire loose objects older than <time>.

is sufficiently clear for these people.