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

If a corresponding fixup PR is merged, the bot should not attempt to create a duplicated one ghstack-source-id: 99e176c59cefda7ab8a811f1033a5a617d69be1f Pull Request resolved: pytorch#6426 Co-authored-by: Hansong Zhang <[email protected]>
kirklandsign · Oct 22, 2024 · 0aa802d · 0aa802d
1 parent 979708d
commit 0aa802d
Showing 1 changed file with 2 additions and 2 deletions.
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]}"
             )