Re: Add CONTRIBUTING.md

On Tue, May 29, 2018 at 5:36 PM, Andres Freund <andres(at)anarazel(dot)de> wrote:

> Hi,
>
> A lot of people contribute in communities via github these days. We
> should add a CONTRIBUTING.md that explains how to do so, given that we
> don't use github. That's shown automatically when doing a pull requests
> etc.
>
> I think it's also a good idea to have it in the source tree independent
> of github, it's very hard to figure out where to start from a git
> clone / tarball.
>

+1. This would be useful for us internally as well, and using the github
format makes sense because a lot of users are used to it, so that's where
they're going to go look first.

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>