Skip to content

Commit

Permalink
Add the pull request labeler (#5)
Browse files Browse the repository at this point in the history
* Add the pull request labeler
  • Loading branch information
anufdo authored May 16, 2024
1 parent 7e62079 commit 86bec0e
Showing 1 changed file with 18 additions and 19 deletions.
37 changes: 18 additions & 19 deletions .github/labeler.yml
Original file line number Diff line number Diff line change
@@ -1,19 +1,18 @@
labels:
- name: docs
globs:
- "docs/**"
- name: examples
globs:
- "examples/**"
- name: github-actions
globs:
- ".github/**"
- name: source-code
globs:
- "**/*.c"
- name: scripts
globs:
- "**/*.sh"
- name: repo
globs:
- "*"
# Add 'docs' label to any change to docs files
docs:
- any: ["docs/**/*"]
# Add 'examples' label to any change to examples files
examples:
- any: ["examples/**/*"]
# Add 'github-actions' label to any change to .github files
github-actions:
- any: [".github/**/*"]
# Add 'source-code' label to any change to C source files
source-code:
- any: ["**/*.c"]
# Add 'scripts' label to any change to shell script files
scripts:
- any: ["**/*.sh"]
# Add 'repo' label to any root file changes
repo:
- "*"

0 comments on commit 86bec0e

Please sign in to comment.