diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 480bc5c521..274e1e161b 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,4 +1,6 @@ -* @houqp @xianwill @wjones127 @fvaleye @roeap @rtyler @mosyp +rust/ @wjones127 @roeap @rtyler proofs/ @houqp -python/ @wjones127 @fvaleye @rtyler @roeap @houqp +python/ @wjones127 @fvaleye @roeap tlaplus/ @houqp +.github/ @wjones127 @rtyler +docs/ @MrPowers