diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 354 | ||||
| -rw-r--r-- | .github/ISSUE_TEMPLATE.md | 18 | ||||
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 19 |
3 files changed, 391 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS new file mode 100644 index 0000000000..b0e79fb1b2 --- /dev/null +++ b/.github/CODEOWNERS @@ -0,0 +1,354 @@ +# This file describes the maintainers for the main components. See +# `dev/doc/MERGING.md`. + +########## GitHub metadata, including this file ########## + +/.github/ @maximedenes +# Secondary maintainer @Zimmi48 + +########## Build system ########## + +/Makefile* @gares +/dev/tools/make_git_revision.sh @gares + +/configure* @ejgallego + +/META.coq.in @ejgallego + +/dev/build/windows @MSoegtropIMC +# Secondary maintainer @maximedenes + +########## CI infrastructure ########## + +/dev/ci/ @coq/ci-maintainers +/.travis.yml @coq/ci-maintainers +/.gitlab-ci.yml @coq/ci-maintainers +/Makefile.ci @coq/ci-maintainers +/dev/ci/nix @coq/nix-maintainers + +/dev/ci/user-overlays/*.sh @ghost +# Trick to avoid getting review requests +# each time someone adds an overlay + +/appveyor.yml @maximedenes +/dev/ci/appveyor.* @maximedenes +/dev/ci/*.bat @maximedenes +# Secondary maintainer @SkySkimmer + +*.nix @coq/nix-maintainers + +azure-pipelines.yml @coq/ci-maintainers +/dev/ci/azure* @coq/ci-maintainers + +########## Documentation ########## + +/README.md @Zimmi48 +# Secondary maintainer @maximedenes + +/INSTALL* @Zimmi48 +# Secondary maintainer @maximedenes + +/CONTRIBUTING.md @Zimmi48 +# Secondary maintainer @maximedenes + +/CODE_OF_CONDUCT.md @Zimmi48 +# Secondary maintainer @mattam82 + +/dev/doc/ @Zimmi48 +# Secondary maintainer @maximedenes + +/dev/doc/MERGING.md @coq/pushers +# This ensures that all members of the @coq/pushers +# team are notified when the merging doc changes. + +/dev/doc/changes.md @ghost +# Trick to avoid getting review requests +# each time someone modifies the dev changelog + +/doc/ @coq/doc-maintainers +/Makefile.doc @coq/doc-maintainers + +/man/ @silene +# Secondary maintainer @maximedenes + +########## Coqchk ########## + +/checker/ @ppedrot +/test-suite/coqchk/ @ppedrot +# Secondary maintainers @maximedenes + +########## Coq lib ########## + +/clib/ @ppedrot +/test-suite/unit-tests/clib/ @ppedrot +# Secondary maintainer @ejgallego + +/lib/ @ejgallego +# Secondary maintainer @ppedrot + +/lib/cWarnings.* @maximedenes +# Secondary maintainer @ejgallego + +########## Proof engine ########## + +/engine/ @ppedrot +# Secondary maintainer @aspiwack + +/engine/universes.* @SkySkimmer +/engine/univops.* @SkySkimmer +/engine/uState.* @SkySkimmer +# Secondary maintainer @mattam82 + +########## CoqIDE ########## + +/ide/ @ppedrot +/test-suite/ide/ @ppedrot +# Secondary maintainers @gares @herbelin + +########## Interpretation ########## + +/interp/ @herbelin +# Secondary maintainer @ejgallego + +########## Kernel ########## + +/kernel/ @maximedenes +# Secondary maintainers @barras @ppedrot + +/kernel/byterun/ @maximedenes +# Secondary maintainer @silene + +/kernel/sorts.* @SkySkimmer +/kernel/uGraph.* @SkySkimmer +/kernel/univ.* @SkySkimmer +# Secondary maintainer @mattam82 + +########## Library ########## + +/library/ @silene +# Secondary maintainer @gares + +########## Parser ########## + +/coqpp/ @coq/parsing-maintainers +/gramlib/ @coq/parsing-maintainers +/parsing/ @coq/parsing-maintainers + +########## Plugins ########## + +/plugins/btauto/ @ppedrot +# Secondary maintainer @herbelin + +/plugins/cc/ @PierreCorbineau +# Secondary maintainer @herbelin + +/plugins/derive/ @aspiwack +# Secondary maintainer @ppedrot + +/plugins/extraction/ @maximedenes + +/plugins/firstorder/ @PierreCorbineau +# Secondary maintainer @herbelin + +/plugins/funind/ @forestjulien +# Secondary maintainer @Matafou + +/plugins/ltac/ @ppedrot +# Secondary maintainer @herbelin + +/plugins/micromega/ @coq/micromega-maintainers +/test-suite/micromega/ @coq/micromega-maintainers + +/plugins/nsatz/ @thery +# Secondary maintainer @ppedrot + +/plugins/setoid_ring/ @amahboubi +# Secondary maintainer @bgregoir + +/plugins/ssrmatching/ @coq/ssreflect-maintainers +/plugins/ssr/ @coq/ssreflect-maintainers +/test-suite/ssr/ @coq/ssreflect-maintainers + +/plugins/syntax/ @coq/parsing-maintainers + +/plugins/rtauto/ @PierreCorbineau +# Secondary maintainer @herbelin + +########## Pretyper ########## + +/pretyping/ @mattam82 +# Secondary maintainer @gares + +/pretyping/vnorm.* @maximedenes +/pretyping/nativenorm.* @maximedenes +# Secondary maintainer @ppedrot + +########## Pretty printer ########## + +/printing/ @herbelin +# Secondary maintainer @mattam82 + +########## Proof infrastructure ########## + +/proofs/ @ppedrot +# Secondary maintainer @Zimmi48 + +########## STM ########## + +/stm/ @gares +/test-suite/interactive/ @gares +/test-suite/stm/ @gares +/test-suite/vio/ @gares +# Secondary maintainer @ejgallego + +########## Tactics ########## + +/tactics/ @ppedrot +# Secondary maintainer @mattam82 + +/tactics/class_tactics.* @mattam82 +/test-suite/typeclasses/ @mattam82 +# Secondary maintainer @ppedrot + +########## Standard library ########## + +/theories/Arith/ @herbelin + +/theories/Bool/ @herbelin + +/theories/Classes/ @mattam82 +# Secondary maintainer @herbelin + +/theories/FSets/ @herbelin + +/theories/Init/ @ppedrot + +/theories/Lists/ @ppedrot + +/theories/Logic/ @herbelin +# Secondary maintainer @ppedrot + +/theories/MSets/ @herbelin + +/theories/NArith/ @herbelin + +/theories/Numbers/ @herbelin + +/theories/PArith/ @herbelin + +/theories/Program/ @mattam82 +# Secondary maintainer @herbelin + +/theories/QArith/ @herbelin + +/theories/Reals/ @silene +# Secondary maintainer @ppedrot + +/theories/Relations/ @mattam82 +# Secondary maintainer @ppedrot + +/theories/Setoids/ @mattam82 +# Secondary maintainer @ppedrot + +/theories/Sets/ @herbelin + +/theories/Sorting/ @herbelin + +/theories/Strings/ @herbelin + +/theories/Structures/ @herbelin + +/theories/Unicode/ @herbelin + +/theories/Wellfounded/ @mattam82 + +/theories/ZArith/ @herbelin + +/theories/Compat/ @JasonGross +# Secondary maintainer @Zimmi48 + +/theories/Vectors/ @herbelin + +########## Tools ########## + +/tools/coqdoc/ @silene +/test-suite/coqdoc/ @silene +# Secondary maintainer @mattam82 + +/tools/coq_makefile* @gares +/tools/CoqMakefile* @gares +/test-suite/coq-makefile/ @gares +# Secondary maintainer @silene + +/tools/coqdep* @ppedrot +# Secondary maintainer @maximedenes + +/tools/coq_tex* @silene +# Secondary maintainer @gares + +/tools/coqwc* @silene +/test-suite/coqwc/ @silene +# Secondary maintainer @gares + +/tools/TimeFileMaker.py @JasonGross +/tools/make-both-single-timing-files.py @JasonGross +/tools/make-both-time-files.py @JasonGross +/tools/make-one-time-file.py @JasonGross + +########## Toplevel ########## + +/toplevel/ @ejgallego +# Secondary maintainer @gares + +########## Vernacular ########## + +/vernac/ @mattam82 +# Secondary maintainer @maximedenes + +/vernac/metasyntax.* @coq/parsing-maintainers + +########## Test suite ########## + +/test-suite/Makefile @gares +/test-suite/_CoqProject @gares +/test-suite/README.md @gares +# Secondary maintainer @SkySkimmer + +/test-suite/report.sh @SkySkimmer + +/test-suite/complexity/ @herbelin + +/test-suite/unit-tests/src/ @jfehrle +# Secondary maintainer @SkySkimmer + +########## Developer tools ########## + +/dev/tools/backport-pr.sh @Zimmi48 +# Secondary maintainer @maximedenes + +/dev/tools/change-header @herbelin + +/dev/tools/check-eof-newline.sh @SkySkimmer + +/dev/tools/coqdev.el @SkySkimmer + +/dev/tools/github-check-prs.py @SkySkimmer + +/dev/tools/merge-pr.sh @maximedenes +# Secondary maintainer @gares + +/dev/tools/pre-commit @SkySkimmer + +/dev/tools/check-owners*.sh @SkySkimmer +# Secondary maintainer @maximedenes + +/dev/tools/update-compat.py @JasonGross +/test-suite/tools/update-compat/ @JasonGross +# Secondary maintainer @Zimmi48 + +########## Dune ########## + +/.ocamlinit @ejgallego +*dune* @ejgallego +*.opam @ejgallego +# Secondary maintainer @Zimmi48 diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md new file mode 100644 index 0000000000..c9cb516cd3 --- /dev/null +++ b/.github/ISSUE_TEMPLATE.md @@ -0,0 +1,18 @@ +<!-- Thank you for your contribution. + Please complete the following information when reporting a bug. --> + +#### Version + +<!-- You can get this information by running `coqtop -v`. --> + + +#### Operating system + + +#### Description of the problem + +<!-- It is helpful to provide enough information so that we can reproduce the bug. + In particular, please include a code example which produces it. + If the example is small, you can include it here between ``` ```. + Otherwise, please provide a link to a repository, a gist (https://gist.github.com) + or drag-and-drop a `.zip` archive. --> diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 0000000000..73b61ee0d9 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,19 @@ +<!-- Thank you for your contribution. + Make sure you read the contributing guide and fill this template. --> + + +<!-- Keep what applies --> +**Kind:** documentation / bug fix / feature / performance / infrastructure. + + +<!-- If this is a bug fix, make sure the bug was reported beforehand. --> +Fixes / closes #???? + + +<!-- If there is a user-visible change in coqc/coqtop/coqchk/coq_makefile behavior and testing is not prohibitively expensive: --> +<!-- (Otherwise, remove this line.) --> +- [ ] Added / updated test-suite +<!-- If this is a feature pull request / breaks compatibility: --> +<!-- (Otherwise, remove these lines.) --> +- [ ] Corresponding documentation was added / updated (including any warning and error messages added / removed / modified). +- [ ] Entry added in CHANGES.md. |