Lines Matching full:pr_num
609 parser.add_argument("pr_num", type=int)
634 f"Could not find PR-resolved string in {msg} of ghstacked PR {pr.pr_num}"
640 pr_num = int(m.group("number"))
641 candidate = GitHubPR(pr.org, pr.project, pr_num) if pr_num != pr.pr_num else pr
663 … f"Skipping {idx+1} of {len(rev_list)} PR (#{candidate.pr_num}) as its already been merged"
680 f"PR {stacked_pr.pr_num} is out of sync with the corresponding revision {rev} on "
689 def __init__(self, org: str, project: str, pr_num: int) -> None:
690 assert isinstance(pr_num, int)
693 self.pr_num = pr_num
694 self.info = gh_get_pr_info(org, project, pr_num)
770 number=self.pr_num,
818 number=self.pr_num,
862 number=self.pr_num,
899 number=self.pr_num,
914 number=self.pr_num,
974 return f"https://github.com/{self.org}/{self.project}/pull/{self.pr_num}"
1005 number=self.pr_num,
1077 if pr.pr_num != self.pr_num and not skip_all_rule_checks:
1106 msg = self.get_title() + f" (#{self.pr_num})\n\n"
1117 msg += f"ghstack dependencies: {', '.join([f'#{pr.pr_num}' for pr in ghstack_deps])}\n"
1128 gh_add_labels(self.org, self.project, self.pr_num, [full_label], dry_run)
1162 if comment_id and self.pr_num:
1172 pr_num=self.pr_num,
1210 pr_branch_name = f"__pull-request-{self.pr_num}__init__"
1211 repo.fetch(f"pull/{self.pr_num}/head", pr_branch_name)
1321 pr.pr_num,
1369 reject_reason = f"PR #{pr.pr_num} has not been reviewed yet"
1498 pr_num: int,
1533 "pr_num": pr_num,
1598 def get_drci_classifications(pr_num: int, project: str = "pytorch") -> Any:
1605 f"https://hud.pytorch.org/api/drci/drci?prNumber={pr_num}",
1615 return failures.get(str(pr_num), {}) if failures else {}
1676 pr_num: int,
1684 drci_classifications = get_drci_classifications(pr_num=pr_num, project=project)
1688 s = f"From Dr.CI API ({pr_num}):\n"
1797 commits = repo.commits_resolving_gh_pr(pr.pr_num)
1845 f"PR {pr.pr_num} does not have any revisions associated with it"
1907 pr.org, pr.project, pr.pr_num, revert_message, dry_run=dry_run
1913 gh_update_pr_state(pr.org, pr.project, pr.pr_num)
1927 gh_post_pr_comment(pr.org, pr.project, pr.pr_num, str(e), dry_run=dry_run)
2077 pr_link = f"https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num}"
2081 gh_add_labels(pr.org, pr.project, pr.pr_num, [MERGE_IN_PROGRESS_LABEL], dry_run)
2086 pr.pr_num,
2105 pr.pr_num,
2134 pr.pr_num,
2150 …f"Attempting merge of https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num} ({elapsed_time / 6…
2152 pr = GitHubPR(pr.org, pr.project, pr.pr_num)
2174 pr.pr_num,
2222 …f"Merge of https://github.com/{pr.org}/{pr.project}/pull/{pr.pr_num} failed due to: {ex}. Retrying…
2228 gh_add_labels(pr.org, pr.project, pr.pr_num, ["land-failed"], dry_run)
2236 pr = GitHubPR(org, project, args.pr_num)
2262 gh_post_pr_comment(org, project, args.pr_num, msg, dry_run=args.dry_run)
2272 args.pr_num,
2273 get_revert_message(org, project, pr.pr_num),
2284 handle_exception(e, f"Reverting PR {args.pr_num} failed")
2291 args.pr_num,
2292 f"Can't merge closed PR #{args.pr_num}",
2301 args.pr_num,
2322 gh_post_pr_comment(org, project, args.pr_num, message, dry_run=args.dry_run)
2336 if args.comment_id and args.pr_num:
2343 pr_num=args.pr_num,
2367 org, project, args.pr_num, MERGE_IN_PROGRESS_LABEL, args.dry_run