There is an API for accessing pull requests. http://develop.github.com/p/pulls.html So it would be possible to send pull requests to the mailinglists. Which should be the recommended workflow now that the repos are hosted on github mainly? Marc Weber