On 2018-05-29 18:03:03 +0100, Andrew Gierth wrote: > >>>>> "Andres" == Andres Freund <and...@anarazel.de> writes: > > Andres> Hi, > > Andres> A lot of people contribute in communities via github these > Andres> days. We should add a CONTRIBUTING.md that explains how to do > Andres> so, given that we don't use github. That's shown automatically > Andres> when doing a pull requests etc. > > WHile you're at it, you could also add an .editorconfig so that github > displays code with 4-character tabs. > > (e.g. https://github.com/RhodiumToad/pllua-ng/blob/master/.editorconfig )
+1 - why don't you start a thread about it? I'd actually even suggest backpatching it. Greetings, Andres Freund
