On 11/14/14 7:52 AM, Andreas Schwab wrote:
> Sven Axelsson <sven.axelsson@gmail.com> writes:
> 
>> Also, isn't it sufficient to do
>>
>> git remote rm old
>> git gc
>>
>> to clean out the repo? I haven't looked into it so I'm curious.
> 
> The reflog may hold it a bit longer.

And even then, you'd need the "--prune=all" on "git gc", otherwise it
will only delete stuff more than 2 weeks old.

-David