Add ignore_all_dot_files config to allow setting it to false; remove .serena from ALWAYS_IGNORED_DIRS#1456
Open
EarthmanWeb wants to merge 5 commits into
Open
Add ignore_all_dot_files config to allow setting it to false; remove .serena from ALWAYS_IGNORED_DIRS#1456EarthmanWeb wants to merge 5 commits into
EarthmanWeb wants to merge 5 commits into
GitHub Advanced Security / CodeQL
succeeded
May 28, 2026 in 1s
No new alerts in code changed by this pull request
Loading