Add an option to enable rosdistro pushes over ssh.