Skip to content

Commit e76d811

Browse files
Update CODEOWNERS
1 parent abba3d7 commit e76d811

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

CODEOWNERS

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
# approval within two weeks.
33
#
44
# These owners will be the default owners for everything in the repo.
5-
* @kroening @tautschnig @peterschrammel @smowton @chrisr-diffblue @hannes-steffenhagen-diffblue
5+
* @kroening @tautschnig @peterschrammel @smowton @chrisr-diffblue
66

77
# These files should rarely change
88

@@ -42,21 +42,21 @@
4242

4343
# These files change frequently and changes are medium-risk
4444

45-
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @hannes-steffenhagen-diffblue
46-
/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel @hannes-steffenhagen-diffblue
47-
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @hannes-steffenhagen-diffblue @smowton
45+
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
46+
/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel
47+
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @smowton
4848
/src/goto-diff/ @tautschnig @peterschrammel
4949
/src/jsil/ @kroening @tautschnig
50-
/src/memory-analyzer/ @tautschnig @hannes-steffenhagen-diffblue
50+
/src/memory-analyzer/ @tautschnig @chrisr-diffblue
5151
/jbmc/src/jbmc/ @smowton @peterschrammel @romainbrenguier
5252
/jbmc/src/janalyzer/ @smowton @peterschrammel @romainbrenguier
5353
/jbmc/src/jdiff/ @smowton @peterschrammel
5454
/src/cpp/ @kroening @tautschnig @peterschrammel
5555
/src/solvers/smt2 @kroening @martin-cs @tautschnig @peterschrammel @allredj @romainbrenguier
5656
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
5757

58-
/cmake/ @hannes-steffenhagen-diffblue
59-
CMakeLists.txt @hannes-steffenhagen-diffblue
58+
/cmake/ @diffblue/diffblue-opensource
59+
CMakeLists.txt @diffblue/diffblue-opensource
6060

6161
# These files change frequently and changes are low-risk
6262

0 commit comments

Comments
 (0)