diff options
| author | Théo Zimmermann | 2019-02-13 17:54:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-13 17:54:35 +0100 |
| commit | 370b66eb8698ec7c2ebee985a5ec807271171c9f (patch) | |
| tree | d3e17d1ee3d987ed47e61798bcd335867829f6c6 | |
| parent | fe3def270fd0f601cdccfa4c5f443cee028c3f03 (diff) | |
Mention coq-community in the contributing guide.
| -rw-r--r-- | CONTRIBUTING.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index cc3af05845..9af4e10a38 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -180,6 +180,14 @@ around Coq. If your external development is mature enough, you may consider submitting it for addition to our CI tests. Refer to [`dev/ci/README-users.md`](dev/ci/README-users.md) for more information. +Some Coq packages are not maintained by their authors anymore even if they +were useful (for instance because they changed jobs). The coq-community +organization is a place for people to take over the maintenance of such +useful packages. If you want to contribute by becoming a maintainer, you can +find a list of packages waiting for a maintainer [here](https://github.com/coq-community/manifesto/issues?q=is%3Aissue+is%3Aopen+label%3Amaintainer-wanted). +You can also propose a package that is not listed. Find out more about +coq-community in [the manifesto's README](https://github.com/coq-community/manifesto). + Ask and answer questions on [Stack Exchange](https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites) which has a helpful community of Coq users. |