fix: use safer defaults. now `DEFAULT_FILTERS` only have enabled gith…#3

Merged

guidodinello merged 1 commit intomainfrom

fix/safer-default-filters

Nov 18, 2025

Commits on Nov 18, 2025

fix: use safer defaults. now `DEFAULT_FILTERS` only have enabled github default filters
guidodinello
committed