Skip to content

Commit b937d48

Browse files
authored
Update CODEOWNERS
1 parent 40d12b6 commit b937d48

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

CODEOWNERS

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,11 @@
44
# These owners will be the default owners for everything in the repo.
55
* @kroening @tautschnig @peterschrammel @chris-ryder
66

7+
# Documentation can be reviewed by people with broad project responsibility
8+
9+
/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel
10+
11+
712
# These files should rarely change
813

914
/src/big-int/ @kroening

0 commit comments

Comments
 (0)