From 1dea5c2dc37550067769898f1d8165b82478b132 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Thu, 18 Jul 2019 19:03:34 +0100 Subject: [PATCH] Update issue templates --- .../ISSUE_TEMPLATE/feature-requests-and-proposals.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .github/ISSUE_TEMPLATE/feature-requests-and-proposals.md diff --git a/.github/ISSUE_TEMPLATE/feature-requests-and-proposals.md b/.github/ISSUE_TEMPLATE/feature-requests-and-proposals.md new file mode 100644 index 0000000..9b66149 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/feature-requests-and-proposals.md @@ -0,0 +1,12 @@ +--- +name: Feature requests and proposals +about: What to do if you have a feature request or proposal +title: '' +labels: Feature request +assignees: '' + +--- + +Experience with Idris 1 suggests that feature requests and proposals tend to get buried among the bug reports in the issue tracker, even if we tag the effectively. Partly this is because there's not many people working on Idris full time (it's about half a person at the moment) + +So, instead, please add the details on the wiki, at https://github.com/edwinb/Idris2/wiki/Contributions-wanted, which I hope will be more discoverable. It's also a good idea to suggest it on the mailing list and/or the IRC channel.