t: add greplint.pl and convert grep to test_grep#2135
Open
mmontalbo wants to merge 6 commits into
Open
GitGitGadget / handle_pr_comment
succeeded
Jun 13, 2026 in 1m 32s
Handle PR comment
Handling PR comment #2135 (comment)
Details
This handles #2135 (comment), see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/27456038351 for details.
Loading