Re: [Pharo-dev] Updating CI plugins