create-with-pr-for-authenticated-user-params

record create-with-pr-for-authenticated-user-params {
  owner: string,
  repo: string,
  pull-number: string,
  client-ip: option​<string>,
  devcontainer-path: option​<string>,
  display-name: option​<string>,
  idle-timeout-minutes: option​<s32>,
  location: option​<string>,
  machine: option​<string>,
  multi-repo-permissions-opt-out: option​<bool>,
  retention-period-minutes: option​<s32>,
  working-directory: option​<string>,
}