diff --git a/OWNERS b/OWNERS deleted file mode 100644 index 614c085..0000000 --- a/OWNERS +++ /dev/null @@ -1,4 +0,0 @@ -gchatelet -courbet - -mdb-group:research-compilers-team