Add label docs-update-needed
for PRs that modify app.example.ini
#31810
Merged
lunny merged 2 commits intogo-gitea:mainfrom Aug 9, 2024
Merged
Add label `docs-update-needed` for PRs that modify `app.example.ini`#31810lunny merged 2 commits intogo-gitea:mainfrom
lunny merged 2 commits intogo-gitea:mainfrom