Merge pull request #6621 from chrisr-diffblue/leaving-diffblue-codeowners-update

Reassign CODEOWNER roles from @chrisr-diffblue to @chris-ryder

Author: chrisr-diffblue

CODEOWNERS

@@ -2,15 +2,15 @@
 # approval within two weeks.
 #
 # These owners will be the default owners for everything in the repo.
-*       @kroening @tautschnig @peterschrammel @chrisr-diffblue
+*       @kroening @tautschnig @peterschrammel @chris-ryder
 
 # These files should rarely change
 
 /src/big-int/ @kroening
-/src/ansi-c/ @kroening @tautschnig @chrisr-diffblue
-/src/assembler/ @kroening @tautschnig @chrisr-diffblue
-/src/goto-cc/ @kroening @tautschnig @chrisr-diffblue
-/src/linking/ @kroening @tautschnig @chrisr-diffblue
+/src/ansi-c/ @kroening @tautschnig @chris-ryder
+/src/assembler/ @kroening @tautschnig @chris-ryder
+/src/goto-cc/ @kroening @tautschnig @chris-ryder
+/src/linking/ @kroening @tautschnig @chris-ryder
 /src/memory-models/ @kroening @tautschnig
 /src/goto-checker/ @kroening @tautschnig @peterschrammel
 /src/goto-symex/ @kroening @tautschnig @peterschrammel @romainbrenguier
@@ -36,27 +36,27 @@
 /src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
 /src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
 /jbmc/src/java_bytecode/ @romainbrenguier @peterschrammel
-/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue
-/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue
+/src/analyses/ @martin-cs @peterschrammel @chris-ryder
+/src/pointer-analysis/ @martin-cs @peterschrammel @chris-ryder
 
 
 # These files change frequently and changes are medium-risk
 
-/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
-/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel
-/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel
+/src/goto-analyzer/ @martin-cs @chris-ryder @peterschrammel
+/src/goto-harness/ @martin-cs @chris-ryder @peterschrammel
+/src/goto-instrument/ @martin-cs @chris-ryder @peterschrammel
 /src/goto-instrument/contracts/ @tautschnig @feliperodri @SaswatPadhi
 /doc/cprover-manual/contracts* @tautschnig @feliperodri @SaswatPadhi
 /src/goto-diff/ @tautschnig @peterschrammel
 /src/jsil/ @kroening @tautschnig
-/src/memory-analyzer/ @tautschnig @chrisr-diffblue
+/src/memory-analyzer/ @tautschnig @chris-ryder
 /jbmc/src/jbmc/ @peterschrammel @romainbrenguier
 /jbmc/src/janalyzer/ @peterschrammel @romainbrenguier
 /jbmc/src/jdiff/ @peterschrammel
 /src/cpp/ @kroening @tautschnig @peterschrammel
 /src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
-/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chrisr-diffblue
-/src/solvers/Makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
+/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chris-ryder
+/src/solvers/Makefile @kroening @tautschnig @peterschrammel @chris-ryder @thomasspriggs @NlightNFotis @TGWDB
 /src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
 
 /cmake/        @diffblue/diffblue-opensource