update-repository-pipeline-known-host-params

record update-repository-pipeline-known-host-params {
  workspace: string,
  repo-slug: string,
  known-host-uuid: string,
  type-op: string,
  hostname: option​<string>,
  public-key: option​<pipeline-ssh-public-key>,
  uuid: option​<string>,
}