From 2a641e5183b03b8aff92d7f3b7a30a9d26b6e62a Mon Sep 17 00:00:00 2001 From: Edd Barrett Date: Tue, 9 Dec 2025 11:47:39 +0000 Subject: [PATCH] Skip two unmaintained repos. --- audit.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/audit.py b/audit.py index 76302d2..859bd25 100644 --- a/audit.py +++ b/audit.py @@ -36,6 +36,8 @@ # unmaintained repos. ("softdevteam", "k2"), ("softdevteam", "error_recovery_experiment"), + ("softdevteam", "gc_bench"), + ("softdevteam", "vtable_bench"), # externally maintained ("softdevteam", "WLambda"), ]