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