coverity: avoid dereferencing NULL#2174
Open
dscho wants to merge 12 commits into
Open
GitGitGadget / handle_pr_push
succeeded
Jul 10, 2026 in 23s
Handle PR push
Handling new commits in #2174
Details
This handles #2174, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/29085235473 for details.
Loading