2 Commits

Author	SHA1	Message	Date
Filipe Brandenburger	c2beadcd34	docs: move markdown docs from .github/ to docs/ ... The GitHub guide on contributing file says: "Decide whether to store your contributing guidelines in your repository's root, docs, or .github directory." https://help.github.com/articles/setting-guidelines-for-repository-contributors/#adding-a-contributing-file But there's really no advantage to keeping it in the hidden .github/, since these are public and really belong together with the other documentation. We can still keep the issue templates under .github/, since they are not really documentation on their own. Updated the links pointing to CONTRIBUTING.md to refer to the one in docs/.	2018-09-08 13:39:03 -07:00
Zbigniew Jędrzejewski-Szmek	99f0d70da9	github: use multiple issue templates ... Github now has issue templates in the web interface, and allows more than one to be specified. Let's split our single template in two: bug report and RFE.	2018-05-10 07:58:38 -07:00