On Sat, Jan 28, 2012 at 9:17 AM, Chuck Remes <[email protected]> wrote:
> Hopefully Pieter can chime in on this. He mentioned on irc a few days ago > that someone was working on getting this working (i.e. echoing pull requests > to this mailing list) but it is apparently not yet working. Mikko is working on this. We are seriously overloaded at the moment. If anyone wants to help set this up, I believe https://github.com/samwho/GitHub-Pull-Request-Email-Bot is a good place to start. In the meantime I'll edit the contribution page to ask people to email zeromq-dev when they make new PRs. -Pieter _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
