[Pharo-users] Re: [Pharo-dev] Pharo contribution Jenkins end of service