sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
91a150939f7f206f01dcd9b38b576ea32c0423a7
lean4/CODEOWNERS
Line: 7: incorrect codeowner user: kim-em Line: 7: no users/groups matched Line: 8: incorrect codeowner user: kim-em Line: 8: no users/groups matched Line: 9: incorrect codeowner user: leodemoura Line: 9: no users/groups matched Line: 10: incorrect codeowner user: hargoniX Line: 10: no users/groups matched Line: 11: incorrect codeowner user: tydeu Line: 11: no users/groups matched Line: 12: incorrect codeowner user: leodemoura Line: 12: incorrect codeowner user: hargoniX Line: 12: no users/groups matched Line: 13: incorrect codeowner user: mhuisi Line: 13: no users/groups matched Line: 14: incorrect codeowner user: kim-em Line: 14: no users/groups matched Line: 15: incorrect codeowner user: kim-em Line: 15: no users/groups matched Line: 16: incorrect codeowner user: Kha Line: 16: no users/groups matched Line: 17: incorrect codeowner user: leodemoura Line: 17: no users/groups matched Line: 18: incorrect codeowner user: kmill Line: 18: no users/groups matched Line: 19: incorrect codeowner user: mhuisi Line: 19: no users/groups matched Line: 20: incorrect codeowner user: Vtec234 Line: 20: no users/groups matched Line: 21: incorrect codeowner user: kim-em Line: 21: no users/groups matched Line: 22: incorrect codeowner user: digama0 Line: 22: no users/groups matched Line: 23: incorrect codeowner user: digama0 Line: 23: no users/groups matched Line: 24: incorrect codeowner user: digama0 Line: 24: no users/groups matched Line: 25: incorrect codeowner user: david-christiansen Line: 25: no users/groups matched Line: 26: incorrect codeowner user: digama0 Line: 26: no users/groups matched Line: 27: incorrect codeowner user: digama0 Line: 27: no users/groups matched Line: 28: incorrect codeowner user: digama0 Line: 28: no users/groups matched Line: 29: incorrect codeowner user: digama0 Line: 29: no users/groups matched Line: 30: incorrect codeowner user: digama0 Line: 30: no users/groups matched Line: 31: incorrect codeowner user: digama0 Line: 31: no users/groups matched Line: 32: incorrect codeowner user: digama0 Line: 32: no users/groups matched Line: 33: incorrect codeowner user: digama0 Line: 33: no users/groups matched Line: 34: incorrect codeowner user: digama0 Line: 34: no users/groups matched Line: 35: incorrect codeowner user: digama0 Line: 35: no users/groups matched Line: 36: incorrect codeowner user: digama0 Line: 36: no users/groups matched Line: 37: incorrect codeowner user: digama0 Line: 37: no users/groups matched Line: 38: incorrect codeowner user: digama0 Line: 38: no users/groups matched Line: 39: incorrect codeowner user: digama0 Line: 39: no users/groups matched Line: 40: incorrect codeowner user: digama0 Line: 40: no users/groups matched Line: 41: incorrect codeowner user: digama0 Line: 41: no users/groups matched Line: 42: incorrect codeowner user: digama0 Line: 42: no users/groups matched Line: 43: incorrect codeowner user: digama0 Line: 43: no users/groups matched Line: 44: incorrect codeowner user: TwoFX Line: 44: no users/groups matched Line: 45: incorrect codeowner user: hargoniX Line: 45: no users/groups matched Line: 46: incorrect codeowner user: hargoniX Line: 46: no users/groups matched Line: 47: incorrect codeowner user: hargoniX Line: 47: no users/groups matched Line: 48: incorrect codeowner user: sgraf812 Line: 48: no users/groups matched Line: 49: incorrect codeowner user: sgraf812 Line: 49: no users/groups matched Line: 50: incorrect codeowner user: sgraf812 Line: 50: no users/groups matched Line: 51: incorrect codeowner user: datokrat Line: 51: no users/groups matched Line: 52: incorrect codeowner user: datokrat Line: 52: no users/groups matched Line: 53: incorrect codeowner user: datokrat Line: 53: no users/groups matched Line: 54: incorrect codeowner user: datokrat Line: 54: no users/groups matched
Cameron Zwarich 705dac4f77 chore: make @hargoniX code owner of the compiler (#10732)
2025-10-10 04:43:38 +00:00

55 lines
1.9 KiB
Plaintext
Raw Blame History

# Code Owners
#
# Documents responsible people per component.
# Listed persons will automatically be asked by GitHub to review a PR touching these paths.
# If multiple names are listed, a review by any of them is considered sufficient by default.
/.github/ @kim-em
/RELEASES.md @kim-em
/src/kernel/ @leodemoura
/src/library/compiler/ @hargoniX
/src/lake/ @tydeu
/src/Lean/Compiler/ @leodemoura @hargoniX
/src/Lean/Data/Lsp/ @mhuisi
/src/Lean/Elab/Deriving/ @kim-em
/src/Lean/Elab/Tactic/ @kim-em
/src/Lean/Language/ @Kha
/src/Lean/Meta/Tactic/ @leodemoura
/src/Lean/PrettyPrinter/ @kmill
/src/Lean/Server/ @mhuisi
/src/Lean/Widget/ @Vtec234
/src/Init/Data/ @kim-em
/src/Init/Data/Array/Lemmas.lean @digama0
/src/Init/Data/List/Lemmas.lean @digama0
/src/Init/Data/List/BasicAux.lean @digama0
/src/Init/Data/Array/Subarray.lean @david-christiansen
/src/Lean/Elab/Tactic/RCases.lean @digama0
/src/Init/RCases.lean @digama0
/src/Lean/Elab/Tactic/Ext.lean @digama0
/src/Init/Ext.lean @digama0
/src/Lean/Elab/Tactic/Simpa.lean @digama0
/src/Lean/Elab/Tactic/NormCast.lean @digama0
/src/Lean/Meta/Tactic/NormCast.lean @digama0
/src/Lean/Meta/Tactic/TryThis.lean @digama0
/src/Lean/Elab/Tactic/SimpTrace.lean @digama0
/src/Lean/Elab/Tactic/NoMatch.lean @digama0
/src/Lean/Elab/Tactic/ShowTerm.lean @digama0
/src/Lean/Elab/Tactic/Repeat.lean @digama0
/src/Lean/Meta/Tactic/Repeat.lean @digama0
/src/Lean/Meta/CoeAttr.lean @digama0
/src/Lean/Elab/GuardMsgs.lean @digama0
/src/Lean/Elab/Tactic/Guard.lean @digama0
/src/Init/Guard.lean @digama0
/src/Lean/Server/CodeActions/ @digama0
/src/Std/ @TwoFX
/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
/src/Init/Data/Range/Polymorphic @datokrat
/src/Init/Data/Slice @datokrat
/src/Init/Data/Iterators @datokrat
/src/Std/Data/Iterators @datokrat
Reference in New Issue View Git Blame Copy Permalink