Re: [Pharo-users] adding credentials to a repo via a playground script