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

Matthieu Moy [off-list ref] 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.