From f10c69722b26706899753aa674b167151b067602 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Thu, 22 Mar 2018 15:02:44 +0000 Subject: [PATCH] Remove reuk as a code-owner The special owner for cmake-related stuff had the unintended side-effect of *preventing* other owners from approving cmake changes, so let's just leave the cmake stuff with default ownership for now. --- CODEOWNERS | 3 --- 1 file changed, 3 deletions(-) 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