diff: reject negative context values - #2105
Closed
mmontalbo wants to merge 4 commits into
Closed
GitGitGadget / handle_pr_comment
succeeded
May 12, 2026 in 1m 31s
Handle PR comment
Handling PR comment #2105 (comment)
Details
This handles #2105 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/25753144595 for details.
Loading