Repository navigation

Add allow_unowned_globs to permit files with no owner - #135

Open

dduugg wants to merge 7 commits into

mainfrom

allow-unowned-files

Open

Add allow_unowned_globs to permit files with no owner#135
dduugg wants to merge 7 commits into
mainfrom
allow-unowned-files

Commits on Sep 28, 2026
- Add allow_unowned_files to permit files with no owner
  dduugg
  committed
  93b6d92
- Take globs in allow_unowned_globs rather than a boolean
  dduugg
  committed
  0b91d29
- Keep glob matching local to the validator and reuse relative_to_buf
  dduugg
  committed
  2060252
- Share one matches_globs in path_utils
  dduugg
  committed
  b694dda
- Test allow_unowned_globs with absolute paths and the checks it keeps
  dduugg
  committed
  9edb0ef
- Explain how allow_unowned_globs differs from unowned_globs
  dduugg
  committed
  31cf459
- Bump version to 0.6.0
  dduugg
  committed
  62ed8d7