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	d11343ac79	Add RELEASE.md file which lists the steps needed for release ... I put it in .github, so it doesn't stand out too much; after all it's not interesting to most people.	2016-06-12 22:23:57 -04:00