Function fetchPullRequest

src/repair/apply-result.ts:1568–1570

(repo: string, number: JsonValue)

}

function fetchPullRequest(repo: string, number: JsonValue) {
  return ghJson(["api", `repos/${repo}/pulls/${number}`]);
}

function fetchPullRequestView(repo: string, number: JsonValue) {
  return ghJson([