[add] more repos and generic filtering

This commit is contained in:
2025-08-11 13:56:13 +01:00
parent aa21c1d866
commit b044536a3b
9 changed files with 5320 additions and 27 deletions

File diff suppressed because it is too large Load Diff