Re: git over http proxy problem