builtin.h: update documentation #2028
Closed
GitGitGadget / handle_pr_comment
succeeded
Jan 9, 2026 in 1m 2s
Handle PR comment
Handling PR comment #2028 (comment)
Details
This handles #2028 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/20840349301 for details.
Loading