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. Greetings, Andres Freund