diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 25 | ||||
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 2 | ||||
| -rw-r--r-- | .github/SUPPORT.md | 28 |
3 files changed, 42 insertions, 13 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 06a733be45..6c7b7a9a1c 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -1,10 +1,17 @@ # This file describes the maintainers for the main components. See # `dev/doc/MERGING.md`. -########## GitHub metadata, including this file ########## +########## Contributing process ########## -/.github/ @maximedenes -# Secondary maintainer @Zimmi48 +/.github/ @coq/contributing-process-maintainers + +/CONTRIBUTING.md @coq/contributing-process-maintainers + +/dev/doc/release-process.md @coq/contributing-process-maintainers + +/dev/doc/MERGING.md @coq/pushers +# This ensures that all members of the @coq/pushers +# team are notified when the merging doc changes. ########## Build system ########## @@ -45,19 +52,12 @@ azure-pipelines.yml @coq/ci-maintainers /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 @@ -161,8 +161,7 @@ azure-pipelines.yml @coq/ci-maintainers /plugins/nsatz/ @thery # Secondary maintainer @ppedrot -/plugins/setoid_ring/ @amahboubi -# Secondary maintainer @bgregoir +/plugins/setoid_ring/ @coq/ring-maintainers /plugins/ssrmatching/ @coq/ssreflect-maintainers /plugins/ssr/ @coq/ssreflect-maintainers @@ -173,6 +172,8 @@ azure-pipelines.yml @coq/ci-maintainers /plugins/rtauto/ @PierreCorbineau # Secondary maintainer @herbelin +/user-contrib/Ltac2 @ppedrot + ########## Pretyper ########## /pretyping/ @mattam82 diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 73b61ee0d9..3bd3342329 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -16,4 +16,4 @@ Fixes / closes #???? <!-- 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. +- [ ] Entry added in the changelog (see https://github.com/coq/coq/tree/master/doc/changelog#unreleased-changelog for details). diff --git a/.github/SUPPORT.md b/.github/SUPPORT.md new file mode 100644 index 0000000000..b6f2e942e9 --- /dev/null +++ b/.github/SUPPORT.md @@ -0,0 +1,28 @@ +# Support # + +Get in touch with the user community and ask questions about Coq on +our [Discourse forum][]. Posts in other languages than English are +explicitly welcome there. There is also a historic mailing list called +the [Coq-Club][] which has lots of subscribers, and an IRC channel +(`irc://irc.freenode.net/#coq`). + +In addition, you may also ask questions about Coq on [Stack +Overflow][] (use the tag [coq][Stack Overflow tag]) or on the +meta-theory of Coq on the [TCS Stack Exchange][] (which also has a +[coq][TCS SE tag] tag). + +You can reach the Coq development team through the [development +category][] of the above mentioned Discourse forum, the [Gitter +channel][], and of course the bug tracker. + +See also [coq.inria.fr/community](https://coq.inria.fr/community.html). + +[Discourse forum]: https://coq.discourse.group +[Coq-Club]: https://sympa.inria.fr/sympa/arc/coq-club +[Stack Overflow]: https://stackoverflow.com +[Stack Overflow tag]: https://stackoverflow.com/questions/tagged/coq +[TCS Stack Exchange]: https://cstheory.stackexchange.com/ +[TCS SE tag]: https://cstheory.stackexchange.com/questions/tagged/coq +[development category]: https://coq.discourse.group/c/coq-development +[Gitter channel]: https://gitter.im/coq/coq +[bug tracker]: https://github.com/coq/coq/issues |