Run git prune on sourceware.org?

[Zack Weinberg]

On 08/31/2017 09:05 AM, Andreas Schwab wrote:
> On Aug 31 2017, Florian Weimer <fweimer@redhat.com> wrote:
> 
>> Git started complaining during pushes:
>>
>> Auto packing the repository for optimum performance.
>> warning: There are too many unreachable loose objects; run 'git prune'
>> to remove them.
>>
>> And indeed:
>>
>> $ git prune -n | cut -d\  -f 2 | sort | uniq -c
>>      51 blob
>>     313 commit
>>     719 tree
>>
>> So it seems that there is quite some room for cleanup.
>>
>> Do you think this is safe to run?
> 
> They should be pruned automatically after some grace period (two weeks
> by default) by the next git gc --auto.

Does that ever actually happen *to the sourceware.org repository*?  I am
getting the same complaints, but `git prune -n` reports nothing to do to
my local clone.

zw