Repository navigation

Add opt-in respectGitignore to skip files ignored by git (#2443) - #3176

Open

Pankraz76 wants to merge 4 commits into

diffplug:mainfrom

Pankraz76:feat/respect-gitignore-2443

Open

Add opt-in respectGitignore to skip files ignored by git (#2443)#3176
Pankraz76 wants to merge 4 commits into
diffplug:mainfrom
Pankraz76:feat/respect-gitignore-2443

Commits on Nov 8, 2026
- Add opt-in respectGitignore to skip files ignored by git (#2443)
  claude
  committed
  296c38a
- Fix RespectGitignoreTest on Windows
  claude
  committed
  e9ede17
Commits on Nov 11, 2026
- Reshape respectGitignore into per-format targetExcludeUsingGitignore (#2443)
  claude
  committed
  29a121e
- Polish targetExcludeUsingGitignore after self-review
  claude
  committed
  8d3f6ff