doc: git-pull: clarify DESCRIPTION section#1976
Closed
jvns wants to merge 4 commits into
Closed
GitGitGadget / handle_pr_comment
succeeded
Oct 15, 2025 in 1m 25s
Handle PR comment
Handling PR comment #1976 (comment)
Details
This handles #1976 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18530068301 for details.
Loading