add -p: a couple of hunk splitting fixes #1863
Closed
GitGitGadget / handle_pr_comment
succeeded
Sep 25, 2025 in 1m 9s
Handle PR comment
Handling PR comment #1863 (comment)
Details
This handles #1863 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18012016654 for details.
Loading