aboutsummaryrefslogtreecommitdiff
path: root/.github/CODEOWNERS
AgeCommit message (Expand)Author
2018-07-17Remove fourier pluginMaxime Dénès
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-09Introduce a team of code owners for the CI system.Théo Zimmermann
2018-07-04Remove letouzey from CODEOWNERS since he left the Coq organization.Gaëtan Gilbert
2018-06-28Update maintainers for native/VM files in pretypingMaxime Dénès
2018-06-20Make Clément the secondary codeowner of doc/tools/coqrst.Théo Zimmermann
2018-05-31Add codeowner for timing python scriptsJason Gross
2018-05-25Change primary maintainer for the checker.Théo Zimmermann
2018-05-22Add myself as a secondary maintainer for the documentation.Théo Zimmermann
2018-05-20Maitainers for components of the test-suite (closes #7426).Théo Zimmermann
2018-05-20[codeowner] Add comment.Théo Zimmermann
2018-05-20Make Pierre-Marie a secondary maintainer of the kernel and checker.Théo Zimmermann
2018-05-14Merge PR #7504: Define code owners for more CI files.Maxime Dénès
2018-05-14Merge PR #7170: Script to identify the code owner for given filesMaxime Dénès
2018-05-14Define code owners for more CI files.Théo Zimmermann
2018-05-08Try to fix CODEOWNERSMaxime Dénès
2018-05-07Add CODEOWNERS entry for check-owners*.shGaëtan Gilbert
2018-05-07Merge PR #7371: Propose some updates of the CODEOWNER file.Maxime Dénès
2018-05-02Fix Makefile.ci pattern in CODEOWNERSMaxime Dénès
2018-05-02Make doc owners also own Makefile.docMaxime Dénès
2018-04-29Fix the secondary maintainer for Makefile.Théo Zimmermann
2018-04-29Change maintainers for universe files in the kernel / engine.Théo Zimmermann
2018-04-26[owners] Makefile.ci belongs to the CI category.Emilio Jesus Gallego Arias
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-04-17Assign circleci files to @SkySkimmer, @ejgallegoGaëtan Gilbert
2018-04-11Add myself as the primary maintainer of the warnings systemMaxime Dénès
2018-03-29Remove dev/doc/changes.md from files with a code owner.Théo Zimmermann
2018-03-26Add Michael Soegtrop as a code owner for Windows build scripts.Théo Zimmermann
2018-03-26Use Pierre Corbineau GitHub nickname in CODEOWNERS.Théo Zimmermann
2018-03-23Merge PR #7046: Switch maintainers for documentationThéo Zimmermann
2018-03-22Owners for developer toolsMaxime Dénès
2018-03-22Switch maintainers for documentationMaxime Dénès
2018-03-21Switching owners for `META.coq`Maxime Dénès
2018-03-21Fix appveyor entry in CODEOWNERS.Maxime Dénès
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-20Update CODEOWNERSEnrico
2018-03-20Add CODEOWNERSMaxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:52:48 +0000