[ADMIN] Remove file .github/repository-settings.md#3534
Merged
marcalff merged 1 commit intoJul 11, 2025
GitHub Advanced Security / CodeQL
succeeded
Jul 11, 2025 in 2s
No new alerts in code changed by this pull request
Loading