Merge pull request #30 from vext01/unmaintained

ltratt · web-flow · commit 1b947a7ebb77 · 2025-12-09T11:54:38.000Z
Skip two unmaintained repos.
diff --git 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"),
 ]

Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,8 @@`
`36`	`36`	`# unmaintained repos.`
`37`	`37`	`("softdevteam", "k2"),`
`38`	`38`	`("softdevteam", "error_recovery_experiment"),`
	`39`	`+ ("softdevteam", "gc_bench"),`
	`40`	`+ ("softdevteam", "vtable_bench"),`
`39`	`41`	`# externally maintained`
`40`	`42`	`("softdevteam", "WLambda"),`
`41`	`43`	`]`