Skip to content

fix(repo-finder): notes-only preferences fall back to defaults; overrides read '## filters'#30

Merged
gaurav0107 merged 3 commits into
mainfrom
fix/repo-finder-preferences-followups
Jul 19, 2026
Merged

fix(repo-finder): notes-only preferences fall back to defaults; overrides read '## filters'#30
gaurav0107 merged 3 commits into
mainfrom
fix/repo-finder-preferences-followups

Commits

Commits on Jul 19, 2026