merge-ort: handle cached rename & trivial resolution interaction better #2095
GitGitGadget / handle_pr_push
succeeded
Apr 20, 2026 in 23s
Handle PR push
Handling new commits in #2095
Details
This handles #2095, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/24692656644 for details.
Loading