Re: [Pharo-dev] Create a user for jenkins