[RFC] config-batch: a new builtin for tools querying config#2033
Open
derrickstolee wants to merge 11 commits into
Open
[RFC] config-batch: a new builtin for tools querying config#2033derrickstolee wants to merge 11 commits into
derrickstolee wants to merge 11 commits into
GitGitGadget / handle_pr_push
succeeded
Feb 4, 2026 in 23s
Handle PR push
Handling new commits in #2033
Details
This handles #2033, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21673906894 for details.
Loading