commit-reach: early termination for paint_down_to_common()#2150
Open
newren wants to merge 1 commit into
Open
GitGitGadget / handle_pr_push
succeeded
Jun 14, 2026 in 22s
Handle PR push
Handling new commits in #2150
Details
This handles #2150, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/27488107882 for details.
Loading