Skip to content

Ignore empty nested .git directories#1910

Open
svarlamov wants to merge 1 commit into
mainfrom
fix/1415-1784397045
Open

Ignore empty nested .git directories#1910
svarlamov wants to merge 1 commit into
mainfrom
fix/1415-1784397045

Conversation

@svarlamov

@svarlamov svarlamov commented Jul 18, 2026

Copy link
Copy Markdown
Member

Fixes #1415

Summary

  • require a HEAD marker before treating a directory-form .git entry as a repository
  • reuse the validation for no-exec discovery and nested repository boundaries without adding Git subprocesses or extra normal-path filesystem lookups
  • update synthetic daemon test fixtures to model valid Git directories

Test coverage

  • add a TestRepo regression covering pre/post AI checkpoints beneath an empty nested .git directory
  • task test
  • task lint
  • task fmt

Open in Devin Review

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Open in Devin Review

Copy link
Copy Markdown
Member Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

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.

Exclude empty .git dirs from valid git repo detection

1 participant