Skip to content

fix(tracker): Skip locked files - #207

Merged
ketiltrout merged 1 commit into
masterfrom
skip_locked_files
Jun 12, 2025
Merged

fix(tracker): Skip locked files#207
ketiltrout merged 1 commit into
masterfrom
skip_locked_files

Conversation

@ketiltrout

Copy link
Copy Markdown
Member

Such files will be completely skipped by the tracker, as if they didn't exist on disk.

Locked files are ones for which a ..lock file exists.

@ketiltrout
ketiltrout requested review from ljgray and rikvl June 12, 2025 20:19
@ketiltrout
ketiltrout force-pushed the skip_locked_files branch 2 times, most recently from 1624cb6 to 9120732 Compare June 12, 2025 20:24
@ketiltrout
ketiltrout marked this pull request as draft June 12, 2025 20:24
@ketiltrout
ketiltrout force-pushed the skip_locked_files branch 2 times, most recently from 8adc463 to 663ecfa Compare June 12, 2025 20:33
Such files will be completely skipped by the tracker, as if they
didn't exist on disk.

Locked files are ones for which a .<name>.lock file exists.
@ketiltrout
ketiltrout marked this pull request as ready for review June 12, 2025 20:51

@ljgray ljgray left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems fine

@ketiltrout
ketiltrout merged commit b43f12c into master Jun 12, 2025
@ketiltrout
ketiltrout deleted the skip_locked_files branch June 12, 2025 22:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants