docs: def get_pull_request_files(project, num, auth=False):
      """get list of files in a pull request"""
      url = "https://api.github.com/repos/{project}/pulls/{num}/files".format(project=project, num=num)
      if auth:
          header = make_auth_header()
      else:
          header = None
      return get_paged_request(url, headers=header)