Lines Matching refs:pr
484 pr = gh.get_repo(f"{args.owner}/{args.repo}").get_pull(args.pull_request)
488 for cm in pr.get_commits():
503 "merge-pr": pr.html_url,
504 "merge-status": pr.merged,
509 filename = "-".join(filter(None, re.split("[^a-zA-Z0-9]+", pr.title))) + ".patch"
510 urllib.request.urlretrieve(pr.patch_url, args.patch_base / filename)
516 "author": pr.user.name or "Hidden",
517 "email": pr.user.email or "hidden@github.com",
518 "date": pr.created_at.strftime("%Y-%m-%d"),
520 "merge-pr": pr.html_url,
521 "merge-status": pr.merged,