doc: convert another batch of files to synopsis style #2117
GitGitGadget / handle_pr_push
succeeded
May 25, 2026 in 19s
Handle PR push
Handling new commits in #2117
Details
This handles #2117, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/26389963048 for details.
Loading