Re: [Pharo-dev] Pharo configurations via git unloadable behind proxy