From 626d82a81153197500d9febf0622f80f122a0878 Mon Sep 17 00:00:00 2001 From: Hansong Zhang Date: Mon, 21 Oct 2024 11:29:24 -0700 Subject: [PATCH] test some stuff ghstack-source-id: d40ff7bb3a149c6f0c7d4ad7986c729407357509 Pull Request resolved: https://github.com/pytorch/executorch/pull/6397 --- .github/scripts/propose_ghstack_orig_pr.py | 2 +- .github/workflows/ghstack_land.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/scripts/propose_ghstack_orig_pr.py b/.github/scripts/propose_ghstack_orig_pr.py index e363a30da2c..b76070bda73 100644 --- a/.github/scripts/propose_ghstack_orig_pr.py +++ b/.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 diff --git a/.github/workflows/ghstack_land.yml b/.github/workflows/ghstack_land.yml index 2c91a1aa404..8ba43ca3a18 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: [opened, synchronize, closed] branches: - 'gh/cccclai/[0-9]+/base' - 'gh/dbort/[0-9]+/base'