max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: make datokrat code owner for iterators, ranges and slices (#9667)

Browse source 
This PR adds some lines for `datokrat` to the `CODEOWNERS` file.
This commit is contained in:
Paul Reichert 2025-08-01 19:34:43 +02:00 • committed by GitHub
parent 417031fc17
commit 4cd917aa65
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CODEOWNERS
View file

@ -48,3 +48,7 @@
/src/Std/Do @sgraf812
/src/Std/Tactic/Do @sgraf812
/src/Lean/Elab/Tactic/Do @sgraf812
/src/Init/Data/Range/Polymorphic @datokrat
/src/Init/Data/Slice @datokrat
/src/Init/Data/Iterators @datokrat
/src/Std/Data/Iterators @datokrat