Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CODEOWNERS: Clean up #10807

Merged
merged 2 commits into from Apr 2, 2020
Merged

CODEOWNERS: Clean up #10807

merged 2 commits into from Apr 2, 2020

Conversation

pchaigno
Copy link
Member

@pchaigno pchaigno commented Apr 1, 2020

I haven't added any new entries. I might do that next time I have the janitor role since I'll receive all default-match (i.e., janitor) notifications anyway.

Signed-off-by: Paul Chaignon <paul@cilium.io>
For example, `Vagrantfile` will match any file named Vagrantfile, anywhere
in the repository, so there is no need to define an entry per
Vagrantfile.

Signed-off-by: Paul Chaignon <paul@cilium.io>
@pchaigno pchaigno added pending-review area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. release-note/misc This PR makes changes that have no direct user impact. labels Apr 1, 2020
@pchaigno pchaigno requested a review from a team as a code owner April 1, 2020 17:07
@maintainer-s-little-helper maintainer-s-little-helper bot added this to In progress in 1.8.0 Apr 1, 2020
@aanm aanm merged commit 2000bee into master Apr 2, 2020
1.8.0 automation moved this from In progress to Merged Apr 2, 2020
@aanm aanm deleted the pr/pchaigno/fix-codeowners branch April 2, 2020 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/misc Impacts miscellaneous areas of the code not otherwise owned by another area. release-note/misc This PR makes changes that have no direct user impact.
Projects
No open projects
1.8.0
  
Merged
Development

Successfully merging this pull request may close these issues.

None yet

2 participants