Skip to content

Enforce respecting .gitignore also for read_files and write_file tools#31

Merged
stippi merged 5 commits into
mainfrom
enforce-git-ignore
May 21, 2025
Merged

Enforce respecting .gitignore also for read_files and write_file tools#31
stippi merged 5 commits into
mainfrom
enforce-git-ignore

Commits

Commits on May 20, 2025