Function get_pull_request

tools/gh_api.py:99–109

Return the pull request info for a given PR number.

(project, num, auth=False)

    return response_data['html_url']

def get_pull_request(project, num, auth=False):
    """Return the pull request info for a given PR number."""
    url = f"https://api.github.com/repos/{project}/pulls/{num}"
    if auth:
        header = make_auth_header()
    else:
        header = None
    print("fetching %s" % url, file=sys.stderr)
    response = requests.get(url, headers=header)
    response.raise_for_status()
    return json.loads(response.text, object_hook=Obj)

def get_pull_request_files(project, num, auth=False):
    """get list of files in a pull request"""