Skip to content

Commit 7c54057

Browse files
Update CODEOWNERS
Add two new code owners for goto-analyzer and goto-instrument @danpoe and @hannes-steffenhagen-diffblue. Also add @danpoe as an owner for src/analyses, and add @chrisr-diffblue as an owner for .travis.yml
1 parent 6a865c5 commit 7c54057

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

CODEOWNERS

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -33,14 +33,14 @@
3333
/src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel
3434
/src/solvers/strings @martin-cs @romainbrenguier @peterschrammel
3535
/jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel
36-
/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton
36+
/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton @danpoe
3737
/src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton
3838

3939

4040
# These files change frequently and changes are medium-risk
4141

42-
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel
43-
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel
42+
/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue
43+
/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue
4444
/src/goto-diff/ @tautschnig @peterschrammel
4545
/jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
4646
/jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel
@@ -62,5 +62,5 @@
6262
/scripts/delete_failing_smt2_solver_tests
6363
/scripts/expected_doxygen_warnings.txt
6464

65-
/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel
65+
/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel @chrisr-diffblue
6666
/appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel

0 commit comments

Comments
 (0)