Re: repository corruption when pushing commits to a repository running 'git gc --prune='
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Oct 14, 2015, 21:09 UTC
- Message-ID
- <vpqtwpt6tsv.fsf@grenoble-inp.fr>
- In-Reply-To
- <xmqqtwpt6usi.fsf@gitster.mtv.corp.google.com>
Junio C Hamano <gitster@pobox.com> writes:
Show 7 quoted lines
> 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 ...
-- Matthieu Moy http://www-verimag.imag.fr/~moy/