Skip to content

Unowned team globs - #58

Merged
perryqh merged 5 commits into
mainfrom
ph/unowned-team-globs
Apr 25, 2025
Merged

perryqh merged 5 commits into
mainfrom
ph/unowned-team-globs

Conversation

@perryqh

@perryqh perryqh commented Apr 25, 2025 •

Copy link
Copy Markdown
Contributor

Addressing #52

Allow for team unowned_globs, which subtracts from their owned_globs.

Example:
config/teams/foo.yml

name: Foo
owned_globs:
  - foo/service/**/*
unowned_globs:
  - foo/service/exclude/me.rs

In this example, team Foo owns all files under foo/service/ except for foo/service/exclude/me.rs

@perryqh perryqh changed the title Ph/unowned team globs Unowned team globs Apr 25, 2025

@martinemde martinemde 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.

Thanks for taking this on and adding this feature so quickly. @ivy and I read through it and did our best to understand :bulbasaur: Looks good!

@perryqh
perryqh merged commit d419312 into main Apr 25, 2025
@perryqh
perryqh deleted the ph/unowned-team-globs branch September 9, 2025 10:09
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.

2 participants