doc: add gitpathspecs(7) manual page #2090
Open
GitGitGadget / handle_pr_push
succeeded
Apr 16, 2026 in 22s
Handle PR push
Handling new commits in #2090
Details
This handles #2090, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/24488559614 for details.
Loading