Fix CI failures on Git's master branch
#1994
Closed
GitGitGadget / handle_pr_push
succeeded
Oct 24, 2025 in 22s
Handle PR push
Handling new commits in #1994
Details
This handles #1994, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18783011176 for details.
Loading