Jose
ecddd28472
All checks were successful
ansible-lint / Ansible Lint (push) Successful in 12s
Gitleaks Scan / gitleaks (push) Successful in 4s
Markdown Lint / markdown-lint (push) Successful in 5s
ai-reviews / Review PR (pull_request) Successful in 18s
PR check / Gitleaks (pull_request) Successful in 5s
PR check / lint tests (pull_request) Successful in 14s
PR check / labeler (pull_request) Successful in 3s
PR check / handle_failures (pull_request) Has been skipped
PR check / handle_success (pull_request) Successful in 1s
This commit introduces a new `.gitea/labeler.yml` file and configures a 'labeler' job to automatically apply labels to pull requests based on the changes made in the files. This enhances the efficiency of managing PRs by reducing manual intervention.
23 lines
626 B
YAML
23 lines
626 B
YAML
---
|
|
# Add 'Documentation' label to to .md files within the entire repository
|
|
# any file changes within 'docs' or 'guides' folders
|
|
Documentation:
|
|
- changed-files:
|
|
- any-glob-to-any-file:
|
|
- '**/*.md'
|
|
- docs/*
|
|
- guides/*
|
|
|
|
# Add 'source' label to any change to src and tasks files within the source dir EXCEPT for the docs sub-folder
|
|
source:
|
|
- all:
|
|
- changed-files:
|
|
- any-glob-to-any-file:
|
|
- 'src/**/*'
|
|
- 'tasks/**/*'
|
|
- all-globs-to-all-files: '!src/docs/*'
|
|
|
|
enhancement:
|
|
- changed-files:
|
|
- any-glob-to-any-file: '.gitea/**/*'
|