Reduce number of codeowners for frequently changed files to 2

Author: peterschrammel

CODEOWNERS

@@ -23,24 +23,24 @@
 
 # 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/ @kroening @tautschnig
+/src/goto-programs/ @kroening @tautschnig
+/src/util/ @kroening @tautschnig
+/src/solvers/refinement @romainbrenguier @peterschrammel
+/jbmc/src/java_bytecode/ @peterschrammel @smowton
+/src/analyses/ @martin-cs @chrisr-diffblue
+/src/pointer-analysis/ @smowton @tautschnig
 
 
 # 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
+/src/goto-instrument/ @martin-cs @chrisr-diffblue
+/src/goto-diff/ @peterschrammel @tautschnig
+/jbmc/src/jbmc/ @peterschrammel @smowton
+/jbmc/src/janalyzer/ @peterschrammel @smowton
+/jbmc/src/jdiff/ @peterschrammel @smowton
+/src/cpp/ @peterschrammel @tautschnig
 
 
 # All remaining files are assumed to be low-risk