revision: add --maximal-only option #2032
Closed
GitGitGadget / handle_pr_push
succeeded
Jan 22, 2026 in 19s
Handle PR push
Handling new commits in #2032
Details
This handles #2032, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21253670479 for details.
Loading