aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github
Commit message (Expand)AuthorAge
* 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-11-23 16:02:33 +0000