Maintenance inception#2146
Open
newren wants to merge 7 commits into
Open
GitGitGadget / handle_pr_push
succeeded
Jun 11, 2026 in 23s
Handle PR push
Handling new commits in #2146
Details
This handles #2146, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/27354623547 for details.
Loading