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`.

diff --git a/.github/labeler.yml b/.github/labeler.yml
index d1b4d00d80209a096552037cdf803fc78e8e6ec3..265616baed494df6f1f5f8ab6d2a1eb44589985b 100644 (file)
--- 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"