Function get_pull_request_files

tools/gh_api.py:111–118

get list of files in a pull request

(project, num, auth=False)

    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"""
    url = f"https://api.github.com/repos/{project}/pulls/{num}/files"
    if auth:
        header = make_auth_header()
    else:
        header = None
    return get_paged_request(url, headers=header)

element_pat = re.compile(r'<(.+?)>')
rel_pat = re.compile(r'rel=[\'"](\w+)[\'"]&#x27;)