diff options
| author | Jason Song <i@wolfogre.com> | 2024-08-10 00:20:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-10 00:20:59 +0800 |
| commit | fb271d1e6a635df06e40aacd32a1652905ce69f8 (patch) | |
| tree | daaaa1c108152340bc4dc96ca5d599fd02010804 /.github/labeler.yml | |
| parent | f4d3120f9d1de6a260a5e625b3ffa6b35a069e9b (diff) | |
| download | gitea-fb271d1e6a635df06e40aacd32a1652905ce69f8.tar.gz gitea-fb271d1e6a635df06e40aacd32a1652905ce69f8.zip | |
Add label `docs-update-needed` for PRs that modify `app.example.ini` (#31810)
To help #31536.
Or it's easy to forget to update https://gitea.com/gitea/docs when
modifying `app.example.ini`.
Diffstat (limited to '.github/labeler.yml')
| -rw-r--r-- | .github/labeler.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/labeler.yml b/.github/labeler.yml index d1b4d00d80..265616baed 100644 --- a/.github/labeler.yml +++ b/.github/labeler.yml @@ -75,3 +75,8 @@ modifies/js: - any-glob-to-any-file: - "**/*.js" - "**/*.vue" + +docs-update-needed: + - changed-files: + - any-glob-to-any-file: + - "custom/conf/app.example.ini" |