Re: repository corruption when pushing commits to a repository running 'git gc --prune='

Junio C Hamano [off-list ref] writes:

Matthieu Moy [off-list ref] writes:

quoted

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/