Exclude two repositories where we have external contributors

2023-09-19 13:10:46 +03:00 · 2023-09-19 13:10:46 +03:00 · 869c472a9b
parent 3d4634b806
commit 869c472a9b
1 changed files with 1 additions and 1 deletions
--- a/github/remove_external_collaborators.py
+++ b/github/remove_external_collaborators.py
@ -34,7 +34,7 @@ def main():
        skip = any([
          repo.fork,
          repo.archived,
-          repo.name in ['process-models', 'infra-spiff-workflow'],
+          repo.name in ['process-models', 'infra-spiff-workflow', 'nim-raft', 'nim-eth-verkle'],
          '-ghsa-' in repo.name,
        ])
        if skip: