ghstack bot skip if a corresponding PR is merged (#6427)

pytorchbot · kirklandsign · web-flow · commit 0aa802de6c4f · 2024-10-22T00:08:11.000-07:00
If a corresponding fixup PR is merged, the bot should not attempt to create a duplicated one ghstack-source-id: 99e176c Pull Request resolved: #6426 Co-authored-by: Hansong Zhang <hsz@meta.com>
diff --git a/.github/scripts/propose_ghstack_orig_pr.py b/.github/scripts/propose_ghstack_orig_pr.py
@@ -112,9 +112,9 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):
         existing_orig_pr = repo.get_pulls(
             head="pytorch:" + orig_branch_merge_head,
             base=orig_branch_merge_base,
-            state="open",
+            state="all",
         )
-        if existing_orig_pr.totalCount > 0:
+        if existing_orig_pr.totalCount > 0 and existing_orig_pr[0].title == pr.title:
             print(
                 f"PR for {orig_branch_merge_head} already exists {existing_orig_pr[0]}"
             )

Original file line number	Diff line number	Diff line change
`@@ -112,9 +112,9 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):`
`112`	`112`	`existing_orig_pr = repo.get_pulls(`
`113`	`113`	`head="pytorch:" + orig_branch_merge_head,`
`114`	`114`	`base=orig_branch_merge_base,`
`115`		`- state="open",`
	`115`	`+ state="all",`
`116`	`116`	`)`
`117`		`- if existing_orig_pr.totalCount > 0:`
	`117`	`+ if existing_orig_pr.totalCount > 0 and existing_orig_pr[0].title == pr.title:`
`118`	`118`	`print(`
`119`	`119`	`f"PR for {orig_branch_merge_head} already exists {existing_orig_pr[0]}"`
`120`	`120`	`)`