From cf2e8af22f9a2e5f41a41c35553283b5286ad4f4 Mon Sep 17 00:00:00 2001 From: Hansong Zhang Date: Mon, 21 Oct 2024 11:29:24 -0700 Subject: [PATCH] Skip merge for ghstack bot generated PR They are landed internally. Skip the diff train for that PR. ghstack-source-id: 297468eb4c55256926cdf2e8283e9ea9716b127a Pull Request resolved: https://github.com/pytorch/executorch/pull/6396 --- .github/scripts/propose_ghstack_orig_pr.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/scripts/propose_ghstack_orig_pr.py b/.github/scripts/propose_ghstack_orig_pr.py index a5c715e9455..e363a30da2c 100644 --- a/.github/scripts/propose_ghstack_orig_pr.py +++ b/.github/scripts/propose_ghstack_orig_pr.py @@ -100,7 +100,8 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository): ghstack PR base: https://github.com/pytorch/executorch/tree/{pr.base.ref} ghstack PR head: https://github.com/pytorch/executorch/tree/{pr.head.ref} Merge bot PR base: https://github.com/pytorch/executorch/tree/{orig_branch_merge_base} -Merge bot PR head: https://github.com/pytorch/executorch/tree/{orig_branch_merge_head}""" +Merge bot PR head: https://github.com/pytorch/executorch/tree/{orig_branch_merge_head} +@diff-train-skip-merge""" existing_orig_pr = repo.get_pulls( head="pytorch:" + orig_branch_merge_head,