Skip to content

Commit a229942

Browse files
committed
Add codeowners of /src/solvers/makefile
So that those who can approve changes to the smt2 solver support can also approve adding / removing / renaming `.cpp` files in those subdirectories. The list of codeowners is based on the global code owners plus the smt2 code owners. This is as suggested by Michael Tautschnig here - #6415 (comment)
1 parent 73e271e commit a229942

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CODEOWNERS

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@
5656
/src/cpp/ @kroening @tautschnig @peterschrammel
5757
/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
5858
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chrisr-diffblue
59+
/src/solvers/makefile @kroening @tautschnig @peterschrammel @chrisr-diffblue @thomasspriggs @NlightNFotis @TGWDB
5960
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
6061

6162
/cmake/ @diffblue/diffblue-opensource

0 commit comments

Comments
 (0)