Re: git-local-pull?

Petr Baudis [off-list ref] writes:

quoted

I can probably fix it if anyone cares, but it's not something I use 
personally, so I don't know if it's worthwhile. It should probably be 
removed if we don't fix it, since it will fail on any popular repository 
at this point.

I want to use it in Cogito again, since copying everything obviously
sucks and I want to hardlink, so repacking is not a solution either.

Me too.