From 5bb2a659f499afe1fb6cf31df322a2585fbad923 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Fri, 20 Jul 2018 14:16:01 +0200 Subject: [PATCH] Contributing: add link to issues labelled 'help wanted'. --- CONTRIBUTING.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e8fe645..480e68c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -38,6 +38,9 @@ move a project to coq-community: (you need to be part of the coq-community organization to self-assign an issue, if you are not you may still post a comment saying you are working on this). + If you have time on your hands but don't know what to work on, have a look + at [this list of coq-community issues where external help was requested][help-wanted]. + ## Maintaining a coq-community package ## As a maintainer, your main role is to handle incoming pull requests (review and @@ -65,3 +68,5 @@ your contribution under the CC0 license: see [`LICENSE.md`](LICENSE.md). [move_project]: https://github.com/coq-community/manifesto/issues/new?template=move_project.md [change_maintainer]: https://github.com/coq-community/manifesto/issues/new?template=change_maintainer.md [meta]: https://github.com/coq-community/manifesto/issues/new?template=meta.md + +[help-wanted]: https://github.com/issues?q=is%3Aopen+is%3Aissue+archived%3Afalse+user%3Acoq-community+label%3A%22help+wanted%22