diff --git a/CODEOWNERS b/CODEOWNERS index ff831c20ff9..4a198b01700 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -51,9 +51,6 @@ src/util/irep_ids.def @diffblue/cbmc-developers unit/ @diffblue/cbmc-developers regression/ @diffblue/cbmc-developers -CMakeLists.txt @reuk @chrisr-diffblue -cmake/ @reuk @chrisr-diffblue - scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel .travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel