fetch: rework negotiation tip options #2085
Open
GitGitGadget / handle_pr_push
succeeded
Apr 22, 2026 in 20s
Handle PR push
Handling new commits in #2085
Details
This handles #2085, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/24756335701 for details.
Loading