Skip to content

Add optionally_owned_globs to permit files with no owner - #135

Merged
dduugg merged 39 commits into
mainfrom
allow-unowned-files
Oct 28, 2026
Merged

Add optionally_owned_globs to permit files with no owner#135
dduugg merged 39 commits into
mainfrom
allow-unowned-files

Stop at the first owner in OwnerLookup::has_owner

8f76d20
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar