From 869c472a9b7493b2273744d0ff9a224474e15386 Mon Sep 17 00:00:00 2001 From: zah Date: Tue, 19 Sep 2023 13:10:46 +0300 Subject: [PATCH] Exclude two repositories where we have external contributors --- github/remove_external_collaborators.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/github/remove_external_collaborators.py b/github/remove_external_collaborators.py index 4d9ef82..588af10 100755 --- 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: