Skip to content

Commit ed8927b

Browse files
committed
Let's try out the workflow one more time
ghstack-source-id: a07a8aa Pull Request resolved: #6377
1 parent 46ea1a4 commit ed8927b

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

.github/scripts/propose_ghstack_orig_pr.py

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -87,8 +87,7 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):
8787
for i in range(len(pr_stack)):
8888
pr = repo.get_pull(pr_stack[i])
8989
if not pr.is_merged():
90-
print("The PR (and stack above) is not merged yet, skipping")
91-
return
90+
pass
9291
# Check for invariant: For the current PR, it must be gh/user/x/base <- gh/user/x/head
9392
assert pr.base.ref.replace("base", "head") == pr.head.ref
9493
# The PR we want to create is then "branch_to_merge" <- gh/user/x/orig

.github/workflows/ghstack_land.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Propose to merge ghstack orig PRs to main
22
on:
33
pull_request:
4-
types: [closed]
4+
types: [open, synchronize, closed]
55
branches:
66
- 'gh/cccclai/[0-9]+/base'
77
- 'gh/dbort/[0-9]+/base'

0 commit comments

Comments
 (0)