Re: ssh permissions for CI jobs