BurntSushi commented on an issue in ripgrep

BurntSushi commented on BurntSushi/ripgrep#3499 · July 30, 2026 07:29

BurntSushi commented Jul 30, 2026 I don't think this is in scope for ripgrep's release workflow. I think this is something y'all will need to put together.