Repository navigation
trace2: stop allowing die() - #2178
Closed
derrickstolee wants to merge 7 commits into
Closed
derrickstolee wants to merge 7 commits into
derrickstolee wants to merge 7 commits into
GitGitGadget / handle_pr_comment
succeeded
Aug 31, 2026 in 1m 45s
Handle PR comment
Handling PR comment #2178 (comment)
Details
This handles #2178 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/33419408464 for details.
Loading