get-milestone-params

record get-milestone-params {
  owner: string,
  repo: string,
  milestone-number: string,
}