Skip to content

Commit 54acd38

Browse files
authored
Skip diff train for ghstack bot generated PR
Summary: They are landed internally. Skip the diff train for that PR. Pull Request resolved: #6408 Differential Revision: D64708690
1 parent 290eed9 commit 54acd38

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

.github/scripts/propose_ghstack_orig_pr.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,8 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):
100100
ghstack PR base: https://github.com/pytorch/executorch/tree/{pr.base.ref}
101101
ghstack PR head: https://github.com/pytorch/executorch/tree/{pr.head.ref}
102102
Merge bot PR base: https://github.com/pytorch/executorch/tree/{orig_branch_merge_base}
103-
Merge bot PR head: https://github.com/pytorch/executorch/tree/{orig_branch_merge_head}"""
103+
Merge bot PR head: https://github.com/pytorch/executorch/tree/{orig_branch_merge_head}
104+
@diff-train-skip-merge"""
104105

105106
existing_orig_pr = repo.get_pulls(
106107
head="pytorch:" + orig_branch_merge_head,

0 commit comments

Comments
 (0)