From fb271d1e6a635df06e40aacd32a1652905ce69f8 Mon Sep 17 00:00:00 2001
From: Jason Song <i@wolfogre.com>
Date: Sat, 10 Aug 2024 00:20:59 +0800
Subject: [PATCH] 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`.
---
 .github/labeler.yml | 5 +++++
 1 file changed, 5 insertions(+)

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"