Add Shon and remove Ben

shonfeder · shonfeder · commit d64161c4cc41 · 2024-07-01T11:38:24.000-04:00
diff --git a/src/base_images.ml b/src/base_images.ml
@@ -61,7 +61,7 @@ let has_role user = function
            | "github:tmcgilchrist"
            | "github:MisterDA"
            | "github:moyodiallo"
-           | "github:benmandrew"
+           | "github:shonfeder"
            | "github:DTE003"
            ) -> true
     | _ -> false
