Thanks for the excellent and useful feedback on the How to Contribute doc. I'll get those changes in as soon as I can.
On Sat, Mar 15, 2014 at 6:38 AM, Lieven Govaerts <[email protected]> wrote: > > On a related note, I'm only following the dev mailing list and I > noticed that not a lot of design/patch discussion is going on. At > first I though the project wasn't very active, but later I found that > there's actually a lot going on in GitHub (great!) that's not reaching > the dev list (not so great). > I will respond to this one in a separate email. > What's the status of the plan to sync all github pull requests and > comments to the dev list? > I have not had a chance to implement this. I believe we will need to use the GitHub API to do this and have some cronjob running somewhere to sync things up. - Dave
