Lines Matching full:pr_num
619 parser.add_argument("pr_num", type=int)
644 f"Could not find PR-resolved string in {msg} of ghstacked PR {pr.pr_num}"
650 pr_num = int(m.group("number"))
651 candidate = GitHubPR(pr.org, pr.project, pr_num) if pr_num != pr.pr_num else pr
673 … f"Skipping {idx+1} of {len(rev_list)} PR (#{candidate.pr_num}) as its already been merged"
690 f"PR {stacked_pr.pr_num} is out of sync with the corresponding revision {rev} on "
699 def __init__(self, org: str, project: str, pr_num: int) -> None:
700 assert isinstance(pr_num, int)
703 self.pr_num = pr_num
704 self.info = gh_get_pr_info(org, project, pr_num)
780 number=self.pr_num,
828 number=self.pr_num,
872 number=self.pr_num,
909 number=self.pr_num,
924 number=self.pr_num,
984 return f"https://github.com/{self.org}/{self.project}/pull/{self.pr_num}"
1015 number=self.pr_num,
1087 if pr.pr_num != self.pr_num and not skip_all_rule_checks:
1116 msg = self.get_title() + f" (#{self.pr_num})\n\n"
1122 msg += f"ghstack dependencies: {', '.join([f'#{pr.pr_num}' for pr in ghstack_deps])}\n"
1143 gh_add_labels(self.org, self.project, self.pr_num, [full_label], dry_run)
1177 if comment_id and self.pr_num:
1186 pr_num=self.pr_num,
1222 pr_branch_name = f"__pull-request-{self.pr_num}__init__"
1223 repo.fetch(f"pull/{self.pr_num}/head", pr_branch_name)
1333 pr.pr_num,
1381 reject_reason = f"PR #{pr.pr_num} has not been reviewed yet"
1509 pr_num: int,
1535 "pr_num": pr_num,
1554 "_id": f"{project}-{pr_num}-{comment_id}-{os.environ.get('GITHUB_RUN_ID')}",
1594 def get_drci_classifications(pr_num: int, project: str = "pytorch") -> Any:
1601 f"https://hud.pytorch.org/api/drci/drci?prNumber={pr_num}",
1611 return failures.get(str(pr_num), {}) if failures else {}
1703 pr_num: int,
1711 drci_classifications = get_drci_classifications(pr_num=pr_num, project=project)
1715 s = f"From Dr.CI API ({pr_num}):\n"
1824 commits = repo.commits_resolving_gh_pr(pr.pr_num)
1872 f"PR {pr.pr_num} does not have any revisions associated with it"
1934 pr.org, pr.project, pr.pr_num, revert_message, dry_run=dry_run
1940 gh_update_pr_state(pr.org, pr.project, pr.pr_num)
1954 gh_post_pr_comment(pr.org, pr.project, pr.pr_num, str(e), dry_run=dry_run)
2104 pr_link = f"https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num}"
2108 gh_add_labels(pr.org, pr.project, pr.pr_num, [MERGE_IN_PROGRESS_LABEL], dry_run)
2113 pr.pr_num,
2132 pr.pr_num,
2161 pr.pr_num,
2177 …f"Attempting merge of https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num} ({elapsed_time / 6…
2179 pr = GitHubPR(pr.org, pr.project, pr.pr_num)
2201 pr.pr_num,
2249 …f"Merge of https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num} failed due to: {ex}. Retrying…
2255 gh_add_labels(pr.org, pr.project, pr.pr_num, ["land-failed"], dry_run)
2263 pr = GitHubPR(org, project, args.pr_num)
2289 gh_post_pr_comment(org, project, args.pr_num, msg, dry_run=args.dry_run)
2299 args.pr_num,
2300 get_revert_message(org, project, pr.pr_num),
2311 handle_exception(e, f"Reverting PR {args.pr_num} failed")
2318 args.pr_num,
2319 f"Can't merge closed PR #{args.pr_num}",
2328 args.pr_num,
2337 args.pr_num,
2358 gh_post_pr_comment(org, project, args.pr_num, message, dry_run=args.dry_run)
2372 if args.comment_id and args.pr_num:
2378 pr_num=args.pr_num,
2400 org, project, args.pr_num, MERGE_IN_PROGRESS_LABEL, args.dry_run