| 92 | raise RuntimeError("unknown repository {}".format(nameWithOwner)) |
| 93 | |
| 94 | def pull_request(self, repo: "Repository", number: GitHubNumber) -> "PullRequest": |
| 95 | for pr in self.pull_requests.values(): |
| 96 | if repo.id == pr._repository and pr.number == number: |
| 97 | return pr |
| 98 | raise RuntimeError( |
| 99 | "unrecognized pull request #{} in repository {}".format( |
| 100 | number, repo.nameWithOwner |
| 101 | ) |
| 102 | ) |
| 103 | |
| 104 | def issue_comment(self, repo: "Repository", comment_id: int) -> "IssueComment": |
| 105 | for comment in self.issue_comments.values(): |