Skip to content

Commit

Permalink
Merge pull request #1646 from rtyler/update-codeowners
Browse files Browse the repository at this point in the history
chore: proposed updated CODEOWNERS to allow better review notifications
  • Loading branch information
rtyler committed Sep 25, 2023
2 parents 05e6444 + 7e2afb6 commit a482e4f
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions .github/CODEOWNERS
Validating CODEOWNERS rules …
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit a482e4f

Please sign in to comment.