ci: detect more invalid server publish paths (#1620)

## Summary

- detect publish attempts under `data/data/servers/`
- detect server-looking JSON files directly under `data/`
- keep the stage-one and privileged stage-two classifiers in sync

## Testing

- verified both new patterns against PRs #1600 and #1589
- verified ordinary files such as `data/example.json` remain unmatched
- ran `git diff --check`
This commit is contained in:
Radoslav Dimitrov 2026-09-05 22:48:16 +03:00 • committed by GitHub
commit d3fbdc61ce
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 0 deletions

View file

@ -127,6 +127,8 @@ jobs:
for f in "${FILES[@]}"; do
if [[ "$f" == servers/* \
|| "$f" == data/servers/* \
|| "$f" == data/data/servers/* \
|| "$f" =~ ^data/[^/]*server\.json$ \
|| "$f" == "data/seed.json" \
|| "$f" == "server.json" \
|| "$f" == "servers.json" ]]; then

View file

@ -63,6 +63,8 @@ jobs:
for f in "${FILES[@]}"; do
if [[ "$f" == servers/* \
|| "$f" == data/servers/* \
|| "$f" == data/data/servers/* \
|| "$f" =~ ^data/[^/]*server\.json$ \
|| "$f" == "data/seed.json" \
|| "$f" == "server.json" \
|| "$f" == "servers.json" ]]; then