forge.py: merge only when every CI run of the head commit passed #120
No reviewers
Labels
No labels
area/ci
area/desktop
area/packaging
area/protocol
area/reading
area/ui
area/web
area/writing
kind/bug
kind/feature
kind/infra
kind/request
needs/user
parked
perf
security
upstream
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
littlefox/neokom!120
Loading…
Reference in a new issue
No description provided.
Delete branch "merge-needs-all-runs"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
PR #116 was merged on a green branch run while its PR packaging run had failed (and main's run after the merge failed too). Both failures were flakes in jobs the change didn't touch (filed as #118 and #119), but the merge should not have happened.
pr-mergechecks every run of the PR's head commit and refuses while any is running or failed.runsshows the workflow name.Tested:
pr-merge 117refused while its run was still going.🤖 Generated with Claude Code
https://claude.ai/code/session_01XJW2ocwLunyaLiUwCBHEP8