fix: delete local JSON files when removed from remote repo (fixes #405)#480
Merged
michelroegl-brunner merged 1 commit intomainfrom Jan 29, 2026
Merged
fix: delete local JSON files when removed from remote repo (fixes #405)#480michelroegl-brunner merged 1 commit intomainfrom
michelroegl-brunner merged 1 commit intomainfrom
