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`.
pull/31809/head^2
Jason Song 3 months ago committed by GitHub
parent f4d3120f9d
commit fb271d1e6a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 5
      .github/labeler.yml

@ -75,3 +75,8 @@ modifies/js:
- any-glob-to-any-file: - any-glob-to-any-file:
- "**/*.js" - "**/*.js"
- "**/*.vue" - "**/*.vue"
docs-update-needed:
- changed-files:
- any-glob-to-any-file:
- "custom/conf/app.example.ini"

Loading…
Cancel
Save