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 /web_src | |
| 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 'web_src')
0 files changed, 0 insertions, 0 deletions