Function get

src/script/ptl-tool.py:300–328

(session, url, params=None, paging=True)

    return f'* "PR #{pr}":{response["html_url"]} -- {response["title"].strip()}'

def get(session, url, params=None, paging=True):
    if params is None:
        params = {}
    params['per_page'] = 100

    log.debug(f"Fetching {url}")
    response = session.get(url, auth=GithubBearerAuth(), params=params)
    log.debug(f"Response = {response}; links = {response.headers.get('link', '')}")

    if response.status_code != 200:
        log.error(f"Failed to fetch {url}: {response}")
        sys.exit(1)
    j = response.json()
    yield j
    if paging:
        link = response.headers.get('link', None)
        page = 2
        while link is not None and 'next' in link:
            log.debug(f"Fetching {url}")
            new_params = dict(params)
            new_params.update({'page': page})
            response = session.get(url, auth=GithubBearerAuth(), params=new_params)
            log.debug(f"Response = {response}; links = {response.headers.get('link', '')}")
            if response.status_code != 200:
                log.error(f"Failed to fetch {url}: {response}")
                sys.exit(1)
            yield response.json()
            link = response.headers.get('link', None)
            page += 1

def resolve_ref(G, ref, remote_url, always_fetch=False):
    """