Lines Matching full:pr_num

27     parser.add_argument("pr_num", type=int)
34     msg = f"Tried to rebase and push PR #{pr.pr_num}, but it was already up to date."
47         pr.pr_num,
56     branch = f"pull/{pr.pr_num}/head"
77             pr.pr_num,
148                 pr_num = int(line.split("/")[-1])
149                 if pr_num != pr.pr_num:
153                         pr_num,
154 …                    f"Rebased `{orig_ref}` onto `{onto_branch}` because #{pr.pr_num} was rebased, "
156                         + f"checkout https://github.com/{org}/{project}/pull/{pr_num}`)",
163                         pr_num,
166                         + f"checkout https://github.com/{org}/{project}/pull/{pr.pr_num}`)",
171             f"Skipped https://github.com/{org}/{project}/pull/{pr.pr_num}"
209     pr = GitHubPR(org, project, args.pr_num)
218     gh_post_comment(org, project, args.pr_num, msg, dry_run=args.dry_run)
224             args.pr_num,
225             f"PR #{args.pr_num} is closed, won't rebase",
244         gh_post_comment(org, project, args.pr_num, msg, dry_run=args.dry_run)