aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
Commit message (Expand)AuthorAge
* 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
| * Change maintainers for universe files in the kernel / engine.Gravatar Théo Zimmermann2018-04-29
* | [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
* 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
* 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
|/
* 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
* Update CODEOWNERSGravatar Enrico2018-03-20
* Add CODEOWNERSGravatar Maxime Dénès2018-03-20
* [PR template] Remove the relative link.Gravatar Théo Zimmermann2018-01-05
* Create pull request template.Gravatar Théo Zimmermann2017-12-24
* Move contributing files to .github/ sub-directory.Gravatar Théo Zimmermann2017-11-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 03:29:49 +0000