Re: [Pharo-dev] Unable to repair repository