[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_comment
succeeded
Feb 4, 2026 in 2m 14s
Handle PR comment
Handling PR comment #2033 (comment)
Details
This handles #2033 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21674987814 for details.
Loading