Skip to content

Ask reviewers to search the tree for each new sentence's fact (closes #475) - #484

Merged
fametrano merged 2 commits into
mainfrom
iss-475-grep-new-facts
Nov 7, 2026
Merged

fametrano merged 2 commits into
mainfrom
iss-475-grep-new-facts

Make the fact search safe on any file name, and wider

2545806
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar