delete-file-params

record delete-file-params {
  owner: string,
  repo: string,
  path: string,
  author: option​<delete-file-body-author>,
  branch: option​<string>,
  committer: option​<delete-file-body-committer>,
  message: string,
  sha: string,
}