Skip to content

Commit 3b5096a

Browse files
committed
Add default codeowners to /src/symtab2gb/ and /src/json-symtab-language/
The existing lines in the `CODEOWNERS` file override the default codeowners, leaving Martin as the sole code owner. Adding the default codeowners to the list should make it more straight forward to maintain these areas.
1 parent d01fa33 commit 3b5096a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

CODEOWNERS

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@
2020
/src/goto-checker/ @kroening @tautschnig @peterschrammel
2121
/src/goto-symex/ @kroening @tautschnig @peterschrammel
2222
/src/json/ @kroening @tautschnig @peterschrammel
23-
/src/json-symtab-language/ @martin-cs
23+
/src/json-symtab-language/ @martin-cs @kroening @tautschnig @peterschrammel
2424
/src/langapi/ @kroening @tautschnig @peterschrammel
2525
/src/xmllang/ @kroening @tautschnig @peterschrammel
2626
/src/nonstd/ @peterschrammel
@@ -29,7 +29,7 @@
2929
/src/solvers/miniBDD @tautschnig @kroening
3030
/src/solvers/prop @martin-cs @kroening @tautschnig @peterschrammel
3131
/src/solvers/sat @martin-cs @kroening @tautschnig @peterschrammel
32-
/src/symtab2gb/ @martin-cs
32+
/src/symtab2gb/ @martin-cs @kroening @tautschnig @peterschrammel
3333
/jbmc/src/miniz/ @peterschrammel
3434
/src/crangler/ @kroening @tautschnig @qinheping
3535

0 commit comments

Comments
 (0)