test some stuff

ghstack-source-id: d40ff7b
Pull Request resolved: #6397

Author: kirklandsign

.github/scripts/propose_ghstack_orig_pr.py

@@ -88,7 +88,7 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):
         pr = repo.get_pull(pr_stack[i])
         if not pr.is_merged():
             print("The PR (and stack above) is not merged yet, skipping")
-            return
+            # return
         # Check for invariant: For the current PR, it must be gh/user/x/base <- gh/user/x/head
         assert pr.base.ref.replace("base", "head") == pr.head.ref
         # The PR we want to create is then "branch_to_merge" <- gh/user/x/orig

.github/workflows/ghstack_land.yml

@@ -1,7 +1,7 @@
 name: Propose to merge ghstack orig PRs to main
 on:
   pull_request:
-    types: [closed]
+    types: [opened, synchronize, closed]
     branches:
       - 'gh/cccclai/[0-9]+/base'
       - 'gh/dbort/[0-9]+/base'