Record successful index updates and honor automatic update settings - #842

Merged

edriouk merged 6 commits into

mainfrom

Sep 15, 2026

Commits on Sep 15, 2026

Honor update.cfg settings for public index updates
edriouk
committed
20e66fc
Introduce UpdateDaily option and --daily flag
edriouk
committed
4b34740
coverage
edriouk
committed
1f21d5c
Potential fix for pull request finding

edriouk
and
Copilot
authored
9c8d39f
Potential fix for pull request finding 'CodeQL / Writable file handle closed without error handling'

edriouk
and
github-advanced-security[bot]
authored
dcab4f4
Remove --daily command line flag
edriouk
committed
256a16c