doc: git-pull: clarify DESCRIPTION section#1976
Closed
jvns wants to merge 4 commits into
Closed
GitGitGadget / handle_pr_push
succeeded
Oct 14, 2025 in 27s
Handle PR push
Handling new commits in #1976
Details
This handles #1976, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/18510492006 for details.
Loading