Re: [jenkins-whitelist] add a user to whitelist