chore: fix labeler routes for PRs

pull/656/head
James Harris 2020-02-20 23:32:22 +00:00 committed by GitHub
parent 1dbfa782e7
commit 1d07a6dd4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

8
.github/labeler.yml vendored
View File

@ -1,9 +1,9 @@
"Status: Review Needed":
- Comanche055/**/*
- Luminary099/**/*
- Comanche055/*.*
- Luminary099/*.*
"Type: Proof":
- Comanche055/**/*
- Luminary099/**/*
- Comanche055/*.*
- Luminary099/*.*
"Type: Meta":
- README.*
- CONTRIBUTING.*