Function updatePr

scripts/utils/github.ts:145–154

(
  prNumber: number,
  options: { title?: string; body?: string },
)

 * Update an existing PR
 */
export async function updatePr(
  prNumber: number,
  options: { title?: string; body?: string },
) {
  await request("PATCH /repos/{owner}/{repo}/pulls/{pull_number}", {
    ...requestOptions(),
    pull_number: prNumber,
    ...options,
  });
}

/**
 * Close a PR with an optional comment