scripts and tools: Fetch missing review comments in github-merge.py #15838

  69 | +            return json.load(reader(get_response(req_url, ghtoken)))
  70 | +
  71 | +        obj = []
  72 | +        page_num = 1
  73 | +        while True:
  74 | +            req_url_page = '%s?page=%d' % (req_url, page_num)

---

  75 | +            result = get_response(req_url_page, ghtoken)
  76 | +            obj.extend(json.load(reader(result)))
  77 | +
  78 | +            link = result.headers.get('link', None)
  79 | +            if link is not None:
  80 | +                links = link.split(',')

---

  79 | +            if link is not None:
  80 | +                links = link.split(',')
  81 | +                found = False
  82 | +                for link in links:
  83 | +                    if 'rel="next"' in link:
  84 | +                        page_num = int(link[link.find("page=") + 5])

---