Prevent redundant PR merge after landing #1361

Merged
coilyco-ops merged 1 commit from issue-1358 into main 2026-07-15 09:01:50 +00:00
Member

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.

  • Shared the guard between the worker merge path and the director merge lane.
  • Added commit-tree lookups for Forgejo commits and regression tests for already-merged and same-tree-after-merge cases.
  • Verified with go test ./....
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. - Shared the guard between the worker merge path and the director merge lane. - Added commit-tree lookups for Forgejo commits and regression tests for already-merged and same-tree-after-merge cases. - Verified with `go test ./...`.
Prevent redundant PR merge after landing
All checks were successful
test / test (pull_request) Successful in 2m14s
37d9016604
closes #1358
Sign in to join this conversation.
No description provided.