diff --git a/src/base_images.ml b/src/base_images.ml index 62022ec9..32a64eae 100644 --- a/src/base_images.ml +++ b/src/base_images.ml @@ -52,6 +52,7 @@ let has_role user = function | "github:avsm" | "github:kit-ty-kate" | "github:samoht" + | "github:dra27" ) -> true | _ -> false