Update Pull Request

//native

/**

 * Update Pull Request

 * Update a pull request's title, body, state or base branch. Only the fields you set change: empty text keeps the current value, and maintainer_can_modify stays as it is unless set to true or false.

 */

export async function main(

  auth: RT.Github,

  owner: string,

  repo: string,

  pull_number: number,

  title: string | undefined,

  body: string | undefined,

  state: "open" | "closed" | undefined,

  base: string | undefined,

  maintainer_can_modify: "keep" | "true" | "false" = "keep"

) {

  const response = await fetch(

    `https://api.github.com/repos/${owner}/${repo}/pulls/${pull_number}`,

    {

      method: "PATCH",

      headers: {

        Authorization: `Bearer ${auth.token}`,

        "Content-Type": "application/json",

        Accept: "application/vnd.github+json",

        "X-GitHub-Api-Version": "2022-11-28",

      },

      body: JSON.stringify({

        title: title || undefined,

        body: body || undefined,

        state: state || undefined,

        base: base || undefined,

        maintainer_can_modify:

          maintainer_can_modify === "true"

            ? true

            : maintainer_can_modify === "false"

              ? false

              : undefined,

      }),

    }

  )

  if (!response.ok) {

    throw new Error(`${response.status} ${await response.text()}`)

  }

  return await response.json()

}