From 51abd2d4402db849add31b5c089badbbe2f17060 Mon Sep 17 00:00:00 2001 From: Hansong Zhang Date: Sun, 20 Oct 2024 22:48:58 -0700 Subject: [PATCH] Update [ghstack-poisoned] --- .github/scripts/propose_ghstack_orig_pr.py | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/scripts/propose_ghstack_orig_pr.py b/.github/scripts/propose_ghstack_orig_pr.py index 06e1bd5a3c1..d156a7f1df9 100644 --- a/.github/scripts/propose_ghstack_orig_pr.py +++ b/.github/scripts/propose_ghstack_orig_pr.py @@ -87,6 +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(): + # add some comment 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