From 7c540575c1ae9cefab069e1a6b718fbaf86c5b14 Mon Sep 17 00:00:00 2001 From: Chris Ryder Date: Thu, 7 Feb 2019 16:40:03 +0000 Subject: [PATCH 1/3] 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 --- CODEOWNERS | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index d711758e78e..088fd550dd5 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -33,14 +33,14 @@ /src/solvers/refinement @martin-cs @romainbrenguier @peterschrammel /src/solvers/strings @martin-cs @romainbrenguier @peterschrammel /jbmc/src/java_bytecode/ @smowton @mgudemann @thk123 @cristina-david @cesaro @pkesseli @NathanJPhillips @peterschrammel -/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton +/src/analyses/ @martin-cs @peterschrammel @chrisr-diffblue @thk123 @smowton @danpoe /src/pointer-analysis/ @martin-cs @peterschrammel @chrisr-diffblue @smowton # These files change frequently and changes are medium-risk -/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel -/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel +/src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue +/src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue /src/goto-diff/ @tautschnig @peterschrammel /jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel /jbmc/src/janalyzer/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel @@ -62,5 +62,5 @@ /scripts/delete_failing_smt2_solver_tests /scripts/expected_doxygen_warnings.txt -/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel +/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel @chrisr-diffblue /appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel From 14ec594f1484327356ec7a7a78945e08e8c86a16 Mon Sep 17 00:00:00 2001 From: Chris Ryder Date: Thu, 7 Feb 2019 16:55:32 +0000 Subject: [PATCH 2/3] Add code owners for the new goto-harness tool --- CODEOWNERS | 1 + 1 file changed, 1 insertion(+) diff --git a/CODEOWNERS b/CODEOWNERS index 088fd550dd5..ffc7c3f3ea1 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -40,6 +40,7 @@ # These files change frequently and changes are medium-risk /src/goto-analyzer/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue +/src/goto-harness/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue /src/goto-instrument/ @martin-cs @chrisr-diffblue @peterschrammel @danpoe @hannes-steffenhagen-diffblue /src/goto-diff/ @tautschnig @peterschrammel /jbmc/src/jbmc/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschrammel From b969f0307ff7b758984aa29a6945e2e010b3f9bf Mon Sep 17 00:00:00 2001 From: Chris Ryder Date: Thu, 7 Feb 2019 16:57:59 +0000 Subject: [PATCH 3/3] Remove appveyor.yml from CODEOWNERS We are not using Appveyor for Windows CI any more. --- CODEOWNERS | 1 - 1 file changed, 1 deletion(-) diff --git a/CODEOWNERS b/CODEOWNERS index ffc7c3f3ea1..0e4fd4c8b7d 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -64,4 +64,3 @@ /scripts/expected_doxygen_warnings.txt /.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel @chrisr-diffblue -/appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel