aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github/CODEOWNERS
Commit message (Collapse)AuthorAge
* Merge PR #8054: [dev] Autogenerate OCaml dev files.Gravatar Enrico Tassi2018-07-18
|\
* | Remove fourier pluginGravatar Maxime Dénès2018-07-17
| | | | | | | | As stated in the manual, the fourier tactic is subsumed by lra.
| * [dev] Autogenerate OCaml dev files.Gravatar Emilio Jesus Gallego Arias2018-07-12
| | | | | | | | | | | | | | | | For now we only copy the templates, but we could do more fancy stuff. This helps to be compatible with build systems that take care of these files automatically, see: https://github.com/coq/coq/pull/6857#discussion_r202096579
* | Introduce a team of code owners for the CI system.Gravatar Théo Zimmermann2018-07-09
|/ | | | | | | | | | | | | | | This means that all the members of the team will receive a review request for PRs on the CI, but only one of them will need to approve the PR, and this will remove the review request for the others. Currently the team contains Emilio and Gaetan, the two former code owners of these files. It makes sense to start experimenting on this component since they had already decided to make their role symmetric. Updating the list of maintainers can be done by updating the list members, and without changing the CODEOWNER file.
* Remove letouzey from CODEOWNERS since he left the Coq organization.Gravatar Gaëtan Gilbert2018-07-04
|
* Update maintainers for native/VM files in pretypingGravatar Maxime Dénès2018-06-28
|
* Make Clément the secondary codeowner of doc/tools/coqrst.Gravatar Théo Zimmermann2018-06-20
|
* Add codeowner for timing python scriptsGravatar Jason Gross2018-05-31
|
* Change primary maintainer for the checker.Gravatar Théo Zimmermann2018-05-25
| | | | | | Primary maintainers should be responsive. [ci skip]
* Add myself as a secondary maintainer for the documentation.Gravatar Théo Zimmermann2018-05-22
| | | | | | To reflect reality. [ci skip]
* Maitainers for components of the test-suite (closes #7426).Gravatar Théo Zimmermann2018-05-20
| | | | [ci skip]
* [codeowner] Add comment.Gravatar Théo Zimmermann2018-05-20
| | | | [ci skip]
* Make Pierre-Marie a secondary maintainer of the kernel and checker.Gravatar Théo Zimmermann2018-05-20
| | | | [ci skip]
* Merge PR #7504: Define code owners for more CI files.Gravatar Maxime Dénès2018-05-14
|\
* \ Merge PR #7170: Script to identify the code owner for given filesGravatar Maxime Dénès2018-05-14
|\ \
| | * Define code owners for more CI files.Gravatar Théo Zimmermann2018-05-14
| |/ |/|
* | Try to fix CODEOWNERSGravatar Maxime Dénès2018-05-08
| |
| * Add CODEOWNERS entry for check-owners*.shGravatar Gaëtan Gilbert2018-05-07
| |
* | Merge PR #7371: Propose some updates of the CODEOWNER file.Gravatar Maxime Dénès2018-05-07
|\ \
* | | Fix Makefile.ci pattern in CODEOWNERSGravatar Maxime Dénès2018-05-02
| | |
* | | Make doc owners also own Makefile.docGravatar Maxime Dénès2018-05-02
| | |
| * | Fix the secondary maintainer for Makefile.Gravatar Théo Zimmermann2018-04-29
| | | | | | | | | | | | | | | | | | Closes #7345. [skip ci]
| * | Change maintainers for universe files in the kernel / engine.Gravatar Théo Zimmermann2018-04-29
| | | | | | | | | | | | | | | | | | Mitigates #7346. [skip ci]
* | | [owners] Makefile.ci belongs to the CI category.Gravatar Emilio Jesus Gallego Arias2018-04-26
|/ /
* | [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In a component-based source code organization of Coq `intf` doesn't fit very well, as it sits in bit of "limbo" between different components, and indeed, encourages developers to place types in sometimes random places wrt the hierarchy. For example, lower parts of the system reference `Vernacexpr`, which morally lives in a pretty higher part of the system. We move all the files in `intf` to the lowest place their dependencies can accommodate: - `Misctypes`: is used by Declaremod, thus it has to go in `library` or below. Ideally, this file would disappear. - `Evar_kinds`: it is used by files in `engine`, so that seems its proper placement. - `Decl_kinds`: used in `library`, seems like the right place. [could also be merged. - `Glob_term`: belongs to pretyping, where it is placed. - `Locus`: ditto. - `Pattern`: ditto. - `Genredexpr`: depended by a few modules in `pretyping`, seems like the righ place. - `Constrexpr`: used in `pretyping`, the use is a bit unfortunate and could be fixed, as this module should be declared in `interp` which is the one eliminating it. - `Vernacexpr`: same problem than `Constrexpr`; this one can be fixed as it contains stuff it shouldn't. The right place should be `parsing`. - `Extend`: Is placed in `pretyping` due to being used by `Vernacexpr`. - `Notation_term`: First place used is `interp`, seems like the right place. Additionally, for some files it could be worth to merge files of the form `Foo` with `Foo_ops` in the medium term, as to create proper ADT modules as done in the kernel with `Name`, etc...
* | Assign circleci files to @SkySkimmer, @ejgallegoGravatar Gaëtan Gilbert2018-04-17
| |
* | Add myself as the primary maintainer of the warnings systemGravatar Maxime Dénès2018-04-11
|/
* Remove dev/doc/changes.md from files with a code owner.Gravatar Théo Zimmermann2018-03-29
| | | | | | Like CHANGES, and the test-suite folder, this file receives too many updates to have a code owner. It is the job of the reviewer of the PR to review changes to these files as well.
* Add Michael Soegtrop as a code owner for Windows build scripts.Gravatar Théo Zimmermann2018-03-26
|
* Use Pierre Corbineau GitHub nickname in CODEOWNERS.Gravatar Théo Zimmermann2018-03-26
|
* Merge PR #7046: Switch maintainers for documentationGravatar Théo Zimmermann2018-03-23
|\
* | Owners for developer toolsGravatar Maxime Dénès2018-03-22
| |
| * Switch maintainers for documentationGravatar Maxime Dénès2018-03-22
|/ | | | | Guillaume and I agreed to switch, as the new Sphinx infrastructure changes this component significantly.
* Switching owners for `META.coq`Gravatar Maxime Dénès2018-03-21
|
* Fix appveyor entry in CODEOWNERS.Gravatar Maxime Dénès2018-03-21
|
* Refine a bit the decentralized merging process.Gravatar Maxime Dénès2018-03-21
| | | | | | | | | | | | We make GitHub assign only principal maintainers as reviewers. This reduces the level of noise (PRs with 10 code owners), and makes it easy for the assignee to check if all reviews have been completed (all reviewers in the list have to approve the PR, which was not the case before if two reviewers were assigned for the same component). This change means that when a principal maintainer submits a patch touching the component they own, they should ask a review from the secondary maintainer.
* Update CODEOWNERSGravatar Enrico2018-03-20
|
* Add CODEOWNERSGravatar Maxime Dénès2018-03-20
See https://help.github.com/articles/about-codeowners/ for documentation.