dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-25 06:44:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

More paranoid mtime check

Browse source
This commit is contained in:
Paul Gauthier 2023-10-18 11:55:04 -07:00
parent 5e50307748
commit a1cb6e4e7a
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
aider/repo.py
View file

@ -208,7 +208,7 @@ class GitRepo:
mtime = self.aider_ignore_file.stat().st_mtime
if mtime > self.aider_ignore_ts:
if mtime != self.aider_ignore_ts:
self.aider_ignore_ts = mtime
lines = self.aider_ignore_file.read_text().splitlines()
self.aider_ignore_spec = pathspec.PathSpec.from_lines(