diff options
| author | Joel Challis <git@zvecr.com> | 2020-10-20 14:01:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-20 14:01:53 +0100 |
| commit | 4b2da8daf4da000ae09df083d4fd5da656cab504 (patch) | |
| tree | 5b07799abc10d4e27459d980f87c91bceb48f7f6 /.github/labeler.yml | |
| parent | c3ce06c2e7f383c7239558bcebb1c5cbec0725cf (diff) | |
Update PR labeler to use pull_request_target (#10695)
* Update labeler to use pull_request_target
* Add back whitespace
* Add CI label
Diffstat (limited to '.github/labeler.yml')
| -rw-r--r-- | .github/labeler.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.github/labeler.yml b/.github/labeler.yml index d74f757029..ecebf65cb3 100644 --- a/.github/labeler.yml +++ b/.github/labeler.yml @@ -5,6 +5,8 @@ core: - tests/**/* - util/**/* - platforms/**/* +keyboard: +- any: ['keyboards/**/*', '!keyboards/**/keymaps/**/*'] keymap: - users/**/* - layouts/**/* @@ -17,3 +19,14 @@ python: - '**/*.py' documentation: - docs/**/* +translation: + - docs/fr-fr/**/* + - docs/es/**/* + - docs/ja/**/* + - docs/he-il/**/* + - docs/pt-br/**/* + - docs/zh-cn/**/* + - docs/de/**/* + - docs/ru-ru/**/* +CI: + - .github/**/* |