Avoid the_repository in merge-ort and replay #2048
Open
GitGitGadget / handle_pr_push
succeeded
Feb 20, 2026 in 21s
Handle PR push
Handling new commits in #2048
Details
This handles #2048, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/22206021110 for details.
Loading