From d3849e3a828d9d546ef00a20af1ade512e4266e2 Mon Sep 17 00:00:00 2001 From: Hansong Zhang Date: Sun, 20 Oct 2024 23:00:40 -0700 Subject: [PATCH] Let's try out the workflow one more time ghstack-source-id: a07a8aa613b3d80c3ae0a4d5886bdc5e3aed35bb Pull Request resolved: https://github.com/pytorch/executorch/pull/6377 --- .github/scripts/propose_ghstack_orig_pr.py | 3 +-- .github/workflows/ghstack_land.yml | 2 +- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/scripts/propose_ghstack_orig_pr.py b/.github/scripts/propose_ghstack_orig_pr.py index a5c715e9455..06e1bd5a3c1 100644 --- a/.github/scripts/propose_ghstack_orig_pr.py +++ b/.github/scripts/propose_ghstack_orig_pr.py @@ -87,8 +87,7 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository): for i in range(len(pr_stack)): pr = repo.get_pull(pr_stack[i]) if not pr.is_merged(): - print("The PR (and stack above) is not merged yet, skipping") - return + pass # 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 diff --git a/.github/workflows/ghstack_land.yml b/.github/workflows/ghstack_land.yml index 2c91a1aa404..72dabe75bad 100644 --- a/.github/workflows/ghstack_land.yml +++ b/.github/workflows/ghstack_land.yml @@ -1,7 +1,7 @@ name: Propose to merge ghstack orig PRs to main on: pull_request: - types: [closed] + types: [open, synchronize, closed] branches: - 'gh/cccclai/[0-9]+/base' - 'gh/dbort/[0-9]+/base'