Prevent redundant PR merge after landing #1361
No reviewers
Labels
No labels
burndown-2026-06
pressure-test
sunday-sprint
coherence-core
consult
headless
interactive
P0
P1
P2
P3
P4
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
coilyco-flight-deck/ward!1361
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "issue-1358"
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?
closes #1358
ward.workflow: pull-request-and-merge
Added an early no-op guard in the PR merge path so workers stop when Forgejo already reports the PR merged or when the PR head tree already matches the base branch tree.
go test ./....