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 _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
