chore: Update CODEOWNERS

2026-03-25 14:24:08 +00:00 · 2025-07-07 14:57:46 +02:00
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@@ -45,3 +45,6 @@
 /src/Std/Tactic/BVDecide/ @hargoniX
 /src/Lean/Elab/Tactic/BVDecide/ @hargoniX
 /src/Std/Sat/ @hargoniX
+/src/Std/Do @sgraf812
+/src/Std/Tactic/Do @sgraf812
+/src/Lean/Elab/Tactic/Do @sgraf812