Re: Add CONTRIBUTING.md

Hi,

On 2018-06-03 15:17:34 -0400, Alvaro Herrera wrote:
> On 2018-Jun-03, Andres Freund wrote:
>
> > I'd even start out with something more minimal, in the interest of
> > incremental forward progress. I think we'd basically need a reference
> > to:
> >
> > a) the original source code lives on git.pg.o - sites like github are
> > just mirrors.
> > b) commitfest app (and then later docs about it), so people know where
> > to go to open the equivalent of a pull request
> > c) link to developer section in the docs, for style etc
>
> Looks good to me. Also mention mailing lists?

Yea, definitely.

> Maybe we should give it a prominent place in our website under
> https://www.postgresql.org/developer/ -- maybe replace the entire "What
> will you find here?" section with the html-rendered version of that.

That seems like a good second step.

> I suppose our gitweb will not display the CONTRIBUTING.md file in any
> useful way, would it?

I don't think gitweb displays any files as special :(. It's not exactly
heavily developed...

Greetings,

Andres Freund