Remove default code owners

Owen Jones · Owen Jones · commit 53c90dbd85f5 · 2018-07-19T15:06:38.000+01:00
diff --git 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
