From 53c90dbd85f59b83ea0178ad11e8cf75a22ca80f Mon Sep 17 00:00:00 2001 From: Owen Jones Date: Thu, 19 Jul 2018 15:05:50 +0100 Subject: [PATCH 1/3] Remove default code owners --- CODEOWNERS | 3 --- 1 file changed, 3 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index fa575bfb0a6..7b3de6b560c 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -1,6 +1,3 @@ -# These owners will be the default owners for everything in the repo. -* @kroening @tautschnig @peterschrammel @smowton @chrisr-diffblue - # These files should rarely change src/big-int/ @kroening From bf5abb97375d257f330e6f620e1fe1eaa31fdd49 Mon Sep 17 00:00:00 2001 From: Owen Jones Date: Thu, 19 Jul 2018 17:10:56 +0100 Subject: [PATCH 2/3] Don't use cbmc-developers as a code owner Leave code owners for test folders unspecified --- CODEOWNERS | 9 --------- 1 file changed, 9 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index 7b3de6b560c..ad18c4a5ab6 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -43,15 +43,6 @@ jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschr src/cpp/ @kroening @tautschnig @peterschrammel -# These files change frequently and changes are low-risk - -src/util/irep_ids.def @diffblue/cbmc-developers - -unit/ @diffblue/cbmc-developers -regression/ @diffblue/cbmc-developers -jbmc/unit/ @diffblue/cbmc-developers -jbmc/regression/ @diffblue/cbmc-developers - scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel .travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel From 4096c9299c058c2ddc1613f77d9dc1a0112f1610 Mon Sep 17 00:00:00 2001 From: Owen Jones Date: Thu, 19 Jul 2018 17:03:50 +0100 Subject: [PATCH 3/3] Make directories match from root --- CODEOWNERS | 72 +++++++++++++++++++++++++++--------------------------- 1 file changed, 36 insertions(+), 36 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index ad18c4a5ab6..2ebe9624df8 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -1,48 +1,48 @@ # These files should rarely change -src/big-int/ @kroening -src/ansi-c/ @kroening @tautschnig -src/assembler/ @kroening @tautschnig -src/goto-cc/ @kroening @tautschnig -src/linking/ @kroening @tautschnig -src/memory-models/ @kroening @tautschnig -src/goto-symex/ @kroening @tautschnig @peterschrammel -src/json/ @kroening @tautschnig @peterschrammel -src/langapi/ @kroening @tautschnig @peterschrammel -src/xmllang/ @kroening @tautschnig @peterschrammel -src/nonstd/ @smowton @peterschrammel -src/solvers/cvc @martin-cs @kroening -src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel -src/solvers/floatbv @martin-cs @kroening -src/solvers/miniBDD @tautschnig @kroening -src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel -src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel -src/solvers/smt2 @martin-cs @tautschnig @peterschrammel -jbmc/src/miniz/ @smowton @mgudemann @peterschrammel +/src/big-int/ @kroening +/src/ansi-c/ @kroening @tautschnig +/src/assembler/ @kroening @tautschnig +/src/goto-cc/ @kroening @tautschnig +/src/linking/ @kroening @tautschnig +/src/memory-models/ @kroening @tautschnig +/src/goto-symex/ @kroening @tautschnig @peterschrammel +/src/json/ @kroening @tautschnig @peterschrammel +/src/langapi/ @kroening @tautschnig @peterschrammel +/src/xmllang/ @kroening @tautschnig @peterschrammel +/src/nonstd/ @smowton @peterschrammel +/src/solvers/cvc @martin-cs @kroening +/src/solvers/flattening @martin-cs @kroening @tautschnig @peterschrammel +/src/solvers/floatbv @martin-cs @kroening +/src/solvers/miniBDD @tautschnig @kroening +/src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel +/src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel +/src/solvers/smt2 @martin-cs @tautschnig @peterschrammel +/jbmc/src/miniz/ @smowton @mgudemann @peterschrammel # These files change frequently and changes are high-risk -src/cbmc/ @smowton @kroening @tautschnig @peterschrammel -src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli -src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli -src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel -jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel -src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton -src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton +/src/cbmc/ @smowton @kroening @tautschnig @peterschrammel +/src/goto-programs/ @smowton @kroening @tautschnig @peterschrammel @pkesseli +/src/util/ @smowton @kroening @tautschnig @peterschrammel @pkesseli +/src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel +/jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel +/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton +/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton # These files change frequently and changes are medium-risk -src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel -src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel -src/goto-diff/ @tautschnig @peterschrammel -jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel -jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel -jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel -src/cpp/ @kroening @tautschnig @peterschrammel +/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel +/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel +/src/goto-diff/ @tautschnig @peterschrammel +/jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel +/jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel +/jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel +/src/cpp/ @kroening @tautschnig @peterschrammel -scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel -.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel -appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel +/scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel +/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel +/appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel