Merge pull request #7387 from diffblue/jimgrundy-doco-owners

tautschnig · web-flow · commit d05a0976886f · 2022-11-25T22:21:44.000+01:00
Update CODEOWNERS
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -4,6 +4,11 @@
 # These owners will be the default owners for everything in the repo.
 *       @kroening @tautschnig @peterschrammel @chris-ryder
 
+# Documentation can be reviewed by people with broad project responsibility
+
+/doc/ @jimgrundy @TGWDB @kroening @tautschnig @peterschrammel
+
+
 # These files should rarely change
 
 /src/big-int/ @kroening
