aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2018-11-22New code owner team parsing-maintainers.Théo Zimmermann
2018-11-22New code owner team ssreflect-maintainers.Théo Zimmermann
2018-11-22It seems that Hugo is also willing to assume a maintainer role on CoqIDE.Théo Zimmermann
2018-11-22All dune files are owned by dune code owners.Théo Zimmermann
2018-11-12Set codeowners for dev/ci/nixVincent Laporte
2018-10-18Give code ownership of merging doc to pushers team to notify members when it ...Théo Zimmermann
2018-10-08Merge PR #8627: [dune] [opam] Install `revision` file when building with Dune.Théo Zimmermann
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-10-03Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the com...Théo Zimmermann
2018-10-02Move the compat-update-process to right after branchingJason Gross
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-09-21Create a team of micromega maintainersMaxime Dénès
2018-09-19Merge PR #8071: Propose a Code of Conduct for Coq.Matthieu Sozeau
2018-09-12Remove quote pluginMaxime Dénès
2018-09-10Merge PR #8323: Owners of Makefile.{ci,doc} are teams {ci,doc}-maintainers.Maxime Dénès
2018-09-07Move to a team of code owners for the Nix files.Théo Zimmermann
2018-09-06[dune] [doc] Document `dune utop $lib`Emilio Jesus Gallego Arias
2018-09-05[build] Preliminary support for building Coq with `dune`.Emilio Jesus Gallego Arias
2018-09-05Owners of Makefile.{ci,doc} are teams {ci,doc}-maintainers.Théo Zimmermann
2018-08-31Add code owners for the Code of Conduct.Théo Zimmermann
2018-08-14Introduce a team of code owners for the documentation.Théo Zimmermann
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
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-06-04Merge PR #7619: Mention test-suite in PR templateMaxime Dénès
2018-05-31Add codeowner for timing python scriptsJason Gross
2018-05-28Mention test-suite in PR templateJason Gross
2018-05-25Merge PR #7551: Update CODEOWNERS (mostly regarding the test-suite)Maxime Dénès
2018-05-25Change primary maintainer for the checker.Théo Zimmermann
2018-05-23Remove dashes from PR templateJason Gross
2018-05-22Mention warning and error message docs in PR templateJason Gross
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:58:49 +0000