Remove contentious codeowner additions on sensitive code

TGWDB · TGWDB · commit 9d916e371718 · 2021-11-04T15:51:29.000Z
This removes some contentions potential codeowner additions and
reverts to the old owners. Discussion suggested finer grained
codeowners for /src/util, this should come in a follow-up PR.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -31,8 +31,8 @@
 # These files change frequently and changes are high-risk
 
 /src/cbmc/ @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
-/src/goto-programs/ @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
-/src/util/ @kroening @tautschnig @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
+/src/goto-programs/ @kroening @tautschnig @peterschrammel
+/src/util/ @kroening @tautschnig @peterschrammel
 /src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
 /src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
 /jbmc/src/java_bytecode/ @romainbrenguier @peterschrammel
