Re: git bug/feature request

David Kastrup:

quoted

I have learned to work around this problem by always pulling between
my repositories, not pulling.

Uhm...

"...not *pushing*", obviously. Sorry :-)

-- 
\\// Peter - http://www.softwolves.pp.se/