Sanitize sideband channel messages#1853
Open
dscho wants to merge 6 commits into
Open
GitGitGadget / handle_pr_comment
succeeded
Feb 3, 2026 in 1m 39s
Handle PR comment
Handling PR comment #1853 (comment)
Details
This handles #1853 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/21626220536 for details.
Loading