Hello Releng-
Would it be possible to delete this repository/project from gerrit? This is the config for some old automated scanning run by former members of the Security-Team. It has not been used in a long time with the last commit being 4+ years ago. The Security-Team has a backup of the repository and would prefer it be deleted to avoid confusion, etc. as part of the work in T246392. Thanks.