On Tue, May 29, 2018 at 5:36 PM, Andres Freund <and...@anarazel.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/>
