Function closePr

scripts/utils/github.ts:159–173

(prNumber: number, comment?: string)

 * Close a PR with an optional comment
 */
export async function closePr(prNumber: number, comment?: string) {
  if (comment) {
    await request("POST /repos/{owner}/{repo}/issues/{issue_number}/comments", {
      ...requestOptions(),
      issue_number: prNumber,
      body: comment,
    });
  }

  await request("PATCH /repos/{owner}/{repo}/pulls/{pull_number}", {
    ...requestOptions(),
    pull_number: prNumber,
    state: "closed",
  });
}

/**
 * Get all comments on a PR