Method get_many

tools/commitlist.py:284–292

(self, numbers: Iterable[int])

            self._data = json.loads(self.path.read_text())

    def get_many(self, numbers: Iterable[int]) -> dict[int, PullRequestRecord]:
        records = {}
        for number in numbers:
            cached = self._data.get(str(number))
            if cached is not None:
                cached = dict(cached)
                cached.setdefault('title', f'PR #{number}')
                records[number] = PullRequestRecord(**cached)
        return records

    def update_many(self, records: Iterable[PullRequestRecord]) -> None:
        changed = False